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

Technical Reports

Publication Lists

Annual Reports


Publications of the Project F1302


UnpublishedColloquium - 2000


September 27, 2008

Bibliography

1
B. Buchberger.
Computer Algebra: The End of Mathematics?
Freie Universität Berlin, Germany, May 2000.
2
B. Buchberger.
Gröbner Bases and Automated Theorem Proving.
Intensive Course at the University of Texas at Beaumont, March 2000.
3
B. Buchberger.
Theorema: Beyond Computer Algebra.
University of Texas at Beaumont, February 2000.
4
B. Buchberger.
Theorema: Automatisches beweisen für die praxis.
Universität Salzburg, Institut für Mathematik, June 15, 2000.




Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund