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


InProceedingsReferred - 1999


September 27, 2008

Bibliography

1

B. Buchberger.
Theory exploration versus theorem proving.
In A. Armando and T. Jebelean, editors, Electronic Notes in Theoretical Computer Science, volume 23. Elsevier, 1999.
CALCULEMUS Workshop, University of Trento, Trento, Italy.

2

B. Buchberger and T. Jebelean.
Distance teaching of mathematics using Theorema.
In H. Gutmann, editor, Proceedings of the Third Technion Symposium on Software for Communication, Hagenberg, Austria, April 1999.

3

F. Kossak and K. Nakagawa.
User System Interaction Within Theorema.
In A. Armando and T. Jebelean, editors, Electronic Notes in Theoretical Computer Science, volume 23. Elsevier, 1999.
Calculemus 99 Workshop, Trento, Italy.

4

W. Windsteiger.
Building up Hierarchical Mathematical Domains Using Functors in Mathematica.
In A. Armando and T. Jebelean, editors, Electronic Notes in Theoretical Computer Science, volume 23. Elsevier, 1999.
Calculemus 99 Workshop, Trento, Italy.

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