Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.

Article

Buchberger, Bruno and Regensburger, Georg and Rosenkranz, Markus and Tec, Loredana (2008) General polynomial reduction with Theorema functors: Applications to integro-differential operators and polynomials. ACM Communications in Computer Algebra, 42 (3). pp. 135-137. ISSN 1932-2240 . (The full text of this publication is not available from this repository)

Book section

Rosenkranz, Markus and Regensburger, Georg and Tec, Loredana and Buchberger, Bruno (2012) Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases. In: Langer, Ulrich and Paule, Peter, eds. Numerical and Symbolic Scientific Computing: Progress and Prospects. Texts and Monographs in Symbolic Computation . Springer, Wien, pp. 273-331. ISBN 0943-853X. (Full text available)
[img]
Preview

Tec, Loredana and Regensburger, Georg and Rosenkranz, Markus and Buchberger, Bruno (2010) An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra. In: Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki, eds. Proceedings of the Third international congress conference on Mathematical software. Lecture Notes in Computer Science, 6327 . Springer, Berlin, pp. 245-248. ISBN 9783642155819. (The full text of this publication is not available from this repository)

Rosenkranz, Markus and Regensburger, Georg and Tec, Loredana and Buchberger, Bruno (2009) A symbolic framework for operations on linear boundary problems. In: Gerdt, V.P. and Mayr, E.W. and Vorozhtsov, E.V., eds. Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing. Lecture Notes in Computer Science, 5743 . Springer, pp. 269-283. ISBN 9783642041020. (The full text of this publication is not available from this repository)

This list was generated on Sun Apr 20 17:04:52 2014 BST.