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


UnpublishedColloquium - 2006


September 27, 2008

Bibliography

1
B. Buchberger.
Automated mathematical theory exploration: How far can we go?
Invited colloquium talk at DERI, Innsbruck, December 2006.
2
B. Buchberger.
Die zukunft der algorithmischen mathematik: Kann mathematische forschung automatisiert werden?
Invited colloquium talk at OCG, OVE, Graz, November 2006.
3
M. Giese.
A logic with subtypes to talk about java objects.
Invited colloquium talk at UCD Systems Research Group, Dublin, Ireland, August 2006.
4
M. Giese.
Practical reflection for formal mathematics in Theorema,.
Invited colloquium talk at SCORE Workshop on Proving and Solving, Aizu-Wakamatsu, Japan, 15.03.06 - 17.03.06, March 2006.




Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund