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


UnpublishedInvited - 2003


September 27, 2008

Bibliography

1
B. Buchberger.
Algorithm invention and verification by lazy thinking.
October 2003.
2
B. Buchberger.
Algorithm Invention and Verification by Lazy Thinking.
Invited colloquium talk at Department of Computer Science, Lamar University, Texas, USA, November 19 2003.
3
B. Buchberger.
Algorithm Synthesis by Failing Correctness Proofs.
Invited colloquium talk at Mathematisches Institut, Universität München, December 5 2003.
4
B. Buchberger.
Automated computing, solving, proving: A key to the information age.
Talk in Computer Science Department, University of Tsukuba, Japan, February 2003.
5
B. Buchberger.
Automated Proving, Solving, Computing: A Key to the Information Age.
Invited talk at Presentation Day of the Computer Science Department of the University of Tsukuba, Japan, February 24 2003.
6
B. Buchberger.
Computational mathematics, computational logic, and symbolic computation.
Talk in Technical University of Vienna, Computer Science Department, August 2003.
7
B. Buchberger.
Humanistische Bildung versus Learning on Demand (Humanistic Education versus Learning on Demand).
Invited talk at Conference eSchola 2003, Pädagogische Akademie, Linz, Austria, May 9 2003.
8
B. Buchberger.
Mathematik an Fachhochschulen: Fachliche und didaktische Überlegungen.
Tagung der Mathematiklehrer an Fachhochschulen, Bozen, Italy, September 2003.
9
B. Buchberger.
Mathematik und Informatik: Eine Liebeserklärung.
Talk in Tagung der österreichischen mathematischen Gesellschaft, Bozen, Italy, September 2003.
10
B. Buchberger.
Systematic Theory Exploration: The Lazy Thinking Paradigm.
Invited colloquium talk at Mathematics Department, University of Kyushu, Fukuoka, Japan, March 7 2003.
11
B. Buchberger.
Systematic Theory Exploration: The Lazy Thinking Paradigm.
Invited talk at Workshop on Computer Algebra, Research Institute of Mathematical Science, Kyoto, Japan, March 5 2003.
12
B. Buchberger.
The White-Box and Black-Box Usage of Mathematical Software Systems.
Invited talk at Symposium Mathematics and New Technologies: What do Learn, How to Teach?, Universidad Complutense de Madrid, Fondacion Ramon Areces, December 10-11 2003.
13
B. Buchberger.
Verified algorithm development by lazy thinking.
Talk in Kyushu University, Mathematical Department, Fukuoka, Japan, March 2003.
14
B. Buchberger.
Verified algorithm development by lazy thinking.
Talk in Research Institute for Mathematical Sciences, Mathematical Department, University of Kyoto, Japan, February 2003.
15
B. Buchberger.
Verified Algorithm Development by Lazy Thinking.
Talk in IMS 2003 (International Mathematica Symposium 2003, Imperial College, London, UK, July 2003.
16
B. Buchberger.
Verified Algorithm Development by Lazy Thinking.
Invited talk at International Mathematica Symposium 2003, Imperial College, London, July 7-11 2003.




Please direct your comments or eventual problem reports to webmaster.

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