The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1302


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