Publications of the Project F1302

UnpublishedInvited - 2005

September 27, 2008

UnpublishedInvited - 2005

September 27, 2008

## Bibliography

- 1
- B. Buchberger.

A Historic Introduction to Gröbner Bases.

Invited talk at Summer School on Gröbner Bases and Applications, July 9-22 2005. - 2
- B. Buchberger.

Algorithm Synthesis by Lazy Thinking: Case Study Gröbner Bases.

Invited colloquium talk at DFKI, Saarbrücken, Germany, November 14-15 2005. - 3
- B. Buchberger.

Algorithm Synthesis in Theorema: Case Study Gröbner Bases.

Invited colloquium talk at University of Edinburgh, School of Informatics, June 23 2005. - 4
- B. Buchberger.

Algorithmic algorithm invention in the Theorema project.

Invited talk at Conference on Algorithms and Information Theory, Vaasa, Finland, May 16-18 2005. - 5
- B. Buchberger.

Algorithmic algorithm invention in the Theorema project.

Invited talk at AIT (Algorithmic Information Theory), Vaasa, Finland, May, 17 2005. - 6
- B. Buchberger.

Algorithmic Algorithm Synthesis: Case Study Gröbner Bases.

Invited talk at East Coast Computer Algebra Day, Ohio, Ashland, USA, March 12 2005. - 7
- B. Buchberger.

Algorithmische Beweisverfahren: Das Ende der Mathematik?

Invited colloquium talk at Kepler Symposium, Universität Linz, April 20 2005. - 8
- B. Buchberger.

Das Projekt ``Austrian IT-Park in Timisoara'' (Westrumänien).

Invited talk at CATT, Linz, March, 3 2005. - 9
- B. Buchberger.

Formal mathematical theory exploration in Theorema (4 lectures).

Invited talk at Summer School on Theoretical Computer Science, Marktoberdorf, August 3-13 2005. - 10
- B. Buchberger.

From Gröbner Bases to Automated Theorem Proving and Back.

3 lectures. Invited talk at Summer School on Gröbner Bases and Applications, Zanjan, Iran, July 9-22 2005. - 11
- B. Buchberger.

Gröbner-Basen: Eine Einführung für LA-Kandidaten.

Invited colloquium talk at RISC, June, 2 2005. - 12
- B. Buchberger.

Gröbner Bases: An Introduction.

Invited colloquium talk at Softwarepark Hagenberg, Feb, 02 2005. - 13
- B. Buchberger.

Introduction to Gröbner Bases.

Invited talk at Introduction to Gröbner Bases, Vaasa, Finland, May 16-18 2005. - 14
- B. Buchberger.

Lazy thinking: A new method for algorithm synthesis.

Invited colloquium talk at Workshop ``Algebraic and Numeric Algorithms and Computer-Assisted Proofs''. Research Center Schloss Dagstuhl, Germany, September 26-30 2005. - 15
- B. Buchberger.

Mathematik: Die Kunst des effektiven Handelns.

Invited colloquium talk at MathSpace, Wien, May 12 2005. - 16
- B. Buchberger.

Symbolic computation: Current trends.

Invited talk at International Workshop on Advanced Computing and Analysis Techniques in Physics Research, Berlin, Germany, May 22-27 2005. - 17
- B. Buchberger.

Theorema: A system for formal mathematics.

Invited colloquium talk at North Carolina State University, Dept of Computer Science, March 15 2005. - 18
- B. Buchberger.

A view on the future of symbolic computation.

Invited talk at ISSAC 2005 (International Symposium on Symbolic and Algebraic Computation), Bejing, July 25-27 2005. - 19
- T. Jebelean.

Using computer algebra for automated reasoning in the Theorema system.

Invited talk at Seventh Asian Symposium on Computer Mathematics (ASCM 2005), Seoul, Korea, December 15 2005. - 20
- T. Kutsia and M. Marin.

Matching with regular constraints.

Invited talk at Austria-Japan Summer Workshop on Term Rewriting, Obergurgl, Austria, August 10 2005. - 21
- W. Windsteiger.

An automated theorem prover for set theory within the Theorema system.

Invited colloquium talk at Institute for Algebra, Charles University Prague, April 25 2005. - 22
- W. Windsteiger.

CreaComp: Neue Möglichkeiten im e-learning für Mathematik.

Invited colloquium talk at Research Net Upper Austria: Brennpunkt Forschung, Austria, 22. April 2005. - 23
- W. Windsteiger.

Theorema: A system for mathematical theory exploration.

Invited colloquium talk at Institute for Algebra, Charles University Prague, April 26 2005.

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