The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1302


UnpublishedInvited - 2001


September 27, 2008

Bibliography

1

B. Buchberger.
Gröbner bases and Theorema.
Workshop Universal Algebra, Universität Linz, June 2001.

2

B. Buchberger.
Gröbner rings and modules.
3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'01), University of the West, Timisoara, Romania, October 2001.

3

B. Buchberger.
Schichten in der automatisierung der mathematik.
Workshop ``Symbolic Computation'', Technische Universität Wien, Institut für Simulation, January 2001.

4

B. Buchberger.
Theorema: Automated theorem proving for the practice.
Applied Informatics Conference, University of Eger, Ungarn, January 2001.

5

B. Buchberger.
Theorema: Proving, solving and computing.
International Symposium ``Proving, Solving, Computing'' on the Occasion of the 60th Birthday of Professor S. Igarashi, Tsukuba University, June 2001.

6

T. Jebelean.
Natural Proofs in Elementary Analysis by S-Decomposition.
Invited talk at ISSAC'01: International Symposium on Symbolic and Algebraic Computation, London, Ontario, Canada, July 2001.

Please direct your comments or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund