Browse by Person (creator, editor, contributor, etc.)
Number of items: 4. Article
Book section
Tec, Loredana and Regensburger, Georg and Rosenkranz, Markus and Buchberger, Bruno
(2010)
An automated confluence proof for an infinite rewrite system parametrized over an integrodifferential 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. 245248.
ISBN 9783642155819.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


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. 269283.
ISBN 9783642041020.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


This list was generated on Tue Jul 28 20:30:34 2015 BST.
