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


UnpublishedColloquium - 1999


September 27, 2008

Bibliography

1

B. Buchberger.
Can Computer Replace Mathematicians?
Symposium ``Symbolic Computation'', TU Wien, April 1999.

2

B. Buchberger.
Gröbner Basen: Die ersten Jahren.
Colloquium ``100. Geburtstag von Wolfgang Gröbner'', Universität Innsbruck, May 1999.

3

B. Buchberger.
Gröbner bases: Theory and applications.
University of Timisoara, Romania, April 1999.

4

B. Buchberger.
Theorema: A System for Supporting Mathematical Proving.
North Carolina State University, Department of Mathematics, USA, October 1999.

5

B. Buchberger.
Theorema: A System for Supporting Mathematical Proving.
University of Illinois at Urbana-Champaign, Department of Mathematics, USA, October 1999.

6

B. Buchberger.
Theorema: A new kind of mathematical system.
University of Timisoara, Romania, April 1999.

7

B. Buchberger.
Theorema: A new kind of mathematical system.
University of Cluj-Napoca, April 1999.

8

B. Buchberger.
Theorema: A new kind of mathematical system.
University of Debrecen, Hungary, May 1999.

9

B. Buchberger.
Theorema: A progress report.
GMD Bonn, Institut für Algorithmen, Bonn, Germany, June 1999.

10

B. Buchberger.
Theorema a system for supporting mathematical proving.
Canergie Mellon University, Department of Mathematics, Pittsburgh, USA, October 1999.

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