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


Book - 1999


September 27, 2008

Bibliography

1
A. Armando and T. Jebelean, editors.
Calculemus 99: International Workshop on Combining Proving and Computation. Electronic Notes in Theoretical Computer Science, http://www.elsevier.nl/locate/entcs, July 1999.
Trento, Italy - by CADE 99.
2
T. Jebelean, B. Kutzler, and P. Schofield, editors.
Applications of Computer Algebra in Education, volume 6. Special issue of the International Journal of Computer Algebra in Mathematics Education, 1999.



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