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


September 27, 2008

Bibliography

1

B. Buchberger.
Computer Support for Inventing Gröbner Bases Theory.
IMACS Conference, Prague, Czech Republic, 1998.

2

B. Buchberger.
Theorema: Theorem Proving for the Masses Using Mathematica (invited keynote).
Worldwide Mathematica Conference, Chicago, USA, 1998.

3

B. Buchberger and T. Jebelean.
The Theorema System, invited tutorial.
MFCS'98 (International Conference on Mathematical Foundations of Computer Science), Brno, Czech Republic, 1998.

4

B. Buchberger and T. Jebelean.
Using Theorema for Mathematical Education.
IMACS Conference on Applied Computer Algebra, Prague, Czech Republic, 1998.

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