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


Article - 2000


September 27, 2008

Bibliography

1

B. Buchberger.
Automated Theorem Proving: Theory or Practice?
Mitteilungen der Deutschen Mathematiker-Vereinigung, 2, 2000.

2

B. Buchberger.
Mathematics and computer science - a personal view.
An. Mat. Univ. Timisoara, 24(1):3-18, 2000.
ISSN 1224-970X.

3

B. Buchberger.
Mathematik am Computer: Die nächste Überforderung? (Mathematics on the Computer: The Next Overtaxation?).
Didaktikreihe der österreichischen mathematischen Gesellschaft, 131:37-56, March 2000.

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