Browse by Person (creator, editor, contributor, etc.)
Number of items: 10. Article
Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovacs, Laura and Temur, Kutsia and Koji, Nakagawa and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang
(2006)
Theorema: Towards computeraided mathematical theory exploration.
Journal of Applied Logic, 4
(4).
pp. 470504.
ISSN 15708683.
(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)


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)


Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus
(2006)
Theorema.
In: Wiedijk, Freek, ed.
The Seventeen Provers of the World.
Lecture Notes in Artificial Intelligence, 3600
.
Springer, pp. 96107.
ISBN 9783540307044.
(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
(2004)
The Algorithmization of Physics: Math Between Science and Engineering.
In: Buchberger, Bruno and Campbell, John, eds.
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 2224, 2004. Proceedings.
Lecture Notes in Computer Science, 3249
.
Springer, pp. 17.
ISBN 9783540232124.
(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 May 5 20:32:24 2015 BST.
