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 - 2004


September 27, 2008

Bibliography

1
B. Buchberger.
Algorithmic algorithm synthesis: Case study Gröbner Bases.
Invited colloquium talk at Kuyshu University, Mathematical Department, Fukuoka, Japan, August 25 2004.
2
B. Buchberger.
Algorithmic algorithm synthesis: Case study Gröbner Bases.
Invited colloquium talk at KAIST (University, Daejon), October 29 2004.
3
B. Buchberger.
Algorithmic invention of algorithms: Case study Gröbner Bases.
Invited talk at Symposium Polynomial Systems Solving, University Paris VI, November 24-26 2004.
4
B. Buchberger.
Computer algebra: A key to the future of mathematics, science, and engineering.
Invited colloquium talk at KIAS (Korean Institute of Advanced Studies, Seoul), October 28 2004.
5
B. Buchberger.
Computer-supported mathematical theory exploration: A shift of paradigm in mathematical software.
Invited talk at Mathematica Gulf Conference 2004, Sultan Qaboos University, Department of Mathematics and Statistics, organized by M. Rakha and M. Ben Rouma, January 26-28 2004.
6
B. Buchberger.
Didactic principles for using computer algebra in class.
Lecture for High-school Teachers. Invited colloquium talk at Waseda Gakuin High School, October 16 2004.
7
B. Buchberger.
Elimination and self-elimination.
Invited colloquium talk at University of Bochum, Mathematical Institute, December 15 2004.
8
B. Buchberger.
A formal knowledge base for Gröbner Bases theory.
Invited talk at Annual Conference of the Japanese Society for Symbolic and Algebraic Computation (JSSAC), Atsugi, Japan, September 1-4 2004.
9
B. Buchberger.
Gröbner Bases: Theory and applications.
Invited colloquium talk at Sultan Qaboos Universiy, Department of Mathematics and Statistics, January 25 2004.
10
B. Buchberger.
Groebner Basis: An Overview.
Invited colloquium talk at Workshop on Computer Algebra, RIMS (Research Institute of Mathematical Sciences), Kyoto University, Japan, August 2-4 2004.
11
B. Buchberger.
How I Managed to Automate Myself.
Invited talk at Conference ``The Future of Scientific Computing'', The City College of New York. (Organizer: G. Baumslag), April 30 2004.
12
B. Buchberger.
How to give talks and write papers.
Lecture for Graduate Students. Invited colloquium talk at Kyoto University, Graduate School for Computer Science, October 13 2004.
13
B. Buchberger.
How to work with the literature.
Lecture for Graduate Students. Invited colloquium talk at Kyoto University, Graduate School for Computer Science, October 4 2004.
14
B. Buchberger.
The importance of formal methods in mathematics.
Invited colloquium talk at Workshop on Computer Algebra, RIMS (Research Institute of Mathematical Sciences), Kyoto University, Japan, August 2-4 2004.
15
B. Buchberger.
Let's solve!
Teaching Experiment on Computer Algebra with High School Students. Invited colloquium talk at Waseda Gakuin High School, October 16 2004.
16
B. Buchberger.
Proving by first and intermediate principles.
Invited talk at Workshop on Types for ``Mathematics / Libraries of Formal Mathematics'', University of Nijmegen, The Netherlands, November 1-2 2004.
17
B. Buchberger.
The Algorithmic Invention of a Groebner Basis Algorithm.
Invited talk at Computer Algebra Workshop at Joint Institute for Nuclear Research (Dedicated to the Memory of G. Mescsheriakov), Dubna (Moscow), Russia, organized by V. Gerdt, May 25-26 2004.
18
B. Buchberger.
Theorema: An overview.
Invited colloquium talk at Kyoto University, Graduate School of Computer Science, July 22-23 2004.
19
B. Buchberger.
The Theorema project: An overview.
Invited talk at Workshop ``Verification and Rewriting'', Institute AIST, Amagasaki, October 21 2004.
20
B. Buchberger.
Was sie nie ueber it wissen wollten (what you never wanted to know about it).
Invited talk at ITCOM 2004 Conference, Schloss Hagenberg, Austria, (Organizer: Bruno Bischinger), April 20 2004.
21
N. Popov.
Verification of recursive programs in Theorema.
Invited colloquium talk at Department of Mathematical Logic, Faculty of Mathematics and Computer Science, Sofia University, Bulgaria, July 2004.




Please direct your comments or eventual problem reports to webmaster.

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