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


September 27, 2008

Bibliography

1

B. Buchberger.
Mathematics: The technology of reasoning.
Invited Keynote at the 4th Asian Technology Conference in Mathematics, Guangzhou, China, December 1999.

2

B. Buchberger.
Möglichkeiten und Grenzen mathematischer Modellierung.
Sommerakademie der Pro Scientia ueber ``Modell und Wirklichkeit'', Tainach, Kärnten, Austria, September 1999.

3

B. Buchberger.
Theorema: A new kind of mathematical system.
Invited Keynote at the COCOA Conference, Torino, Italy, June 1999.

4

B. Buchberger.
Towards algorithm verification in Theorema.
Workshop on Validated Software, Schloss Dagsthul, Germany, November 1999.

5

B. Buchberger.
Views on the future of computer science.
Invited Keynote at the Workshop of the Japanese Consortium on Formal Methods, Nagoya, Japan, December 1999.

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