Publications of the Project F1302
TechRepMisc - 2003
September 27, 2008
TechRepMisc - 2003
September 27, 2008
Bibliography
- 1
- A. Craciun and B. Buchberger.
The lazy thinking paradigm: Top-down theory exploration using Theorema.
Poster presentation at the Calculemus Midterm Review Meeting, University of Saarlandes, Saarbruecken, Germany, March 2003. - 2
- N. Popov.
Operators in recursion theory.
Technical Report 03-06, RISC, 2003. - 3
- M. Rosenkranz.
Symbolic solution of boundary value problems.
Poster at the ISSAC Conference, Philadelphia (USA), August 2003. - 4
- W. Windsteiger.
Exploring an algorithm for polynomial interpolation in the Theorema system.
Technical report, Laboratoire d'Informatique de Paris 6, 2003.
Proceedings of Calculemus'03, September 10-12, Rome, Italy.
Please direct your comments
or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund