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 - 2000


September 27, 2008

Bibliography

1

B. Buchberger.
Theorem proving: Theory or practice.
Jahrestagung der DMV, Dresden, September 18-22, 2000.

2

B. Buchberger.
The Theorema project: Logic and algebra.
Workshop on Computer Algebra and Representation Theory, Universität Bielefeld, Fakultät für Mathematik, September 25-27, 2000.

3

B. Buchberger.
Theorema Proving For and With Gröbner Bases.
Second International Workshop on Multidimensional (nD) Systems, Czocha Castle, Poland, June 27-30, 2000.

4

B. Buchberger.
The vertical layers in mathematics.
Workshop on Computer Algebra and Representation Theory, Universität Bielefeld, Fakultät für Mathematik, September 25-27, 2000.

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