Publications of the Project F1302

UnpublishedInvited - 2003

September 27, 2008

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

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