Publications of the Project F1302

UnpublishedInvited - 2006

September 27, 2008

UnpublishedInvited - 2006

September 27, 2008

## Bibliography

- 1
- B. Buchberger.

Automated Mathematical Theory Exploration: How Far Can We Go?

Invited colloquium talk at DERI, Innsbruck, December 14-15 2006. - 2
- B. Buchberger.

Automated Synthesis of a Gröbner Bases Algorithm.

Talk at Workshop ``Formal Gröbner Bases Theory'', March 6 2006. - 3
- B. Buchberger.

Automated Synthesis of a Gröbner Bases Algorithm.

Invited talk at Workshop ``Formal Gröbner Bases Theory'', March 6 2006. - 4
- B. Buchberger.

Die Zukunft der algorithmischen Mathematik: Kann mathematische Forschung automatisiert werden?

Invited colloquium talk at OCG, OVE, Graz, November 21 2006. - 5
- B. Buchberger.

Formal mathematics: A key to the future.

Invited talk at ``Engineering and Life Sciences'', Avignon, France, June 2006. - 6
- B. Buchberger.

Gröbner Bases: Tutorial for Newcomers.

Invited colloquium talk at RISC, Hagenberg, Austria, April 30 2006. - 7
- B. Buchberger.

Mathematical theory exploration.

Invited talk at IJCAR, Seattle, USA, August 2006. - 8
- B. Buchberger.

Mathematical theory exploration: Case study Gröbner Bases.

Invited talk at (SYNASC'06), Timisoara, Romania, September 2006. - 9
- B. Buchberger.

Mathematical Theory Exploration: Case Study Gröbner Bases.

Invited talk at International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), Timisoara, Romania, September 26-29 2006. - 10
- B. Buchberger.

Symbolic computation: Current trends.

Talk at Max Planck Institute for Physics, München, January 31 2006. - 11
- B. Buchberger.

Symbolic computation: Self-application of algorithmic mathematics.

Invited talk at MAP 06 (Mathematics, Algorithms, Proofs), Mathematical Research Center, Castro-Urdiales, Spain, Jan 9-13, 2006, January 10 2006. - 12
- B. Buchberger.

Symbolic computation: Some thoughts about the future.

Invited talk at LL2006 (Loops and Legs in Quantum Physics), Eisenach, Germany, April 2006. - 13
- B. Buchberger.

The Objectives of Formal Mathematics and the Workshop on Formal Gröbner Bases Theory.

Invited talk at Workshop ``Formal Gröbner Bases Theory'', March 6 2006. - 14
- M. Giese.

A logic with subtypes to talk about java objects.

Invited talk at ESF Exploratory Workshop: Challenges in Java Program Verification, Nijmegen, The Netherlands, October 2006. - 15
- M. Giese.

Panelist at Panel Discussion, Intl. Workshop on Implementation of Logics, Phnom Penh, Cambodia.

November 2006. - 16
- T. Kutsia.

Matching with regular constraints.

Invited colloquium talk at Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba, Japan, March 14 2006. - 17
- T. Kutsia.

Matching with regular constraints.

Invited talk at SCORE Workshop on Proving and Solving, University of Aizu, Aizuwakamatsu, Japan, March 16 2006. - 18
- W. Windsteiger.

Computer-supported Proving in ZF Set Theory with the Theorema System.

Invited colloquium talk at Carnegie Mellon University, Math Logic seminar, March 2 2006. - 19
- W. Windsteiger.

Introduction to the Gröbner Bases method.

Talk given in the frame of the seminar ``Fast SAT Solvers and Practical Decision Procedures''. Invited colloquium talk at Carnegie Mellon University, Computer Science Deptartment, April 28 2006. - 20
- W. Windsteiger.

The Theorema system.

Invited colloquium talk at Carnegie Mellon University, Computer Science seminar, February 20 2006.

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