The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics
Home
Appointments
Papers
Misc
Contact

Technical Reports

Publication Lists

Annual Reports


Publications of the Project F1302


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