Publications of the Project F1302

UnpublishedUnInvited - 2003

September 27, 2008

UnpublishedUnInvited - 2003

September 27, 2008

## Bibliography

- 1
- A. Craciun.

THEOREMA: An Overview.

Contributed talk at Scottish Theorem Provers Workshop, Glasgow, UK, December 19 2003. - 2
- A. Craciun and B. Buchberger.

Functional program verification with Theorema.

Contributed talk at Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach (CAVIS'03), February 2003. - 3
- A. Craciun and B. Buchberger.

Mathematical knowledge management for reasoning about programs: Tuples and sorting.

Contributed talk at SFB Status Seminar, Strobl, Austria, April 24-26 2003. - 4
- A. Craciun and B. Buchberger.

Theory exploration by lazy thinking: A case study.

Contributed talk at Omega-Theorema Workshop, Hagenberg, Austria, May 25-27 2003. - 5
- T. Jebelean.

Exploring mathematics with Theorema.

Contributed talk at International Symposium on Symbolic and Algebraic Computation (ISSAC'03), Philadelphia, USA, August 2003. - 6
- T. Jebelean.

Imperative program verification with Theorema.

Contributed talk at Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach (CAVIS'03), e-Austria Institute, Timisoara, Romania, February 2003. - 7
- T. Jebelean, L. Kovacs, and N. Popov.

Verification of imperative programs in Theorema.

Contributed talk at SFB Statusseminar, Strobl, Austria, April 2003. - 8
- L. Kovacs.

Program verification using Hoare logic.

Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach (CAVIS'03), e-Austria Institute, Timisoara, February 2003. - 9
- L. Kovacs and N. Popov.

Procedural program verification in Theorema.

Contributed talk at Omega-Theorema Workshop, Hagenberg, Austria, May 25-27 2003. - 10
- K. Nakagawa and B. Buchberger.

Theorema and logicographic symbols.

Workshop of the Researches for Algorithms on Computer Algebra, Research Institute for Mathematical Sciences (RIMS), Kyoto, Japan, 2003. - 11
- K. Nakagawa and B. Buchberger.

Theorema and logicographic symbols.

Seminar in Kyusyu-University, Fukuoka, Japan, 2003. - 12
- F. Piroi.

Aspects of proof presentation in Theorema.

Contributed talk at Omega-Theorema Workshop, Hagenberg, Austria, May 2003. - 13
- F. Piroi.

Theorema for the user.

Contributed talk at SFB Statusseminar, Strobl, Austria, April 2003. - 14
- N. Popov.

Verification using weakest precondition strategy.

Contributed talk at Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach (CAVIS'03), Timisoara, Romania, February 2003. - 15
- M. Rosenkranz.

Equation solving over operator domains.

Talk at the Theorema-Omega Workshop, May 2003. - 16
- W. Windsteiger.

Algorithmic methods 1.

Lecture notes. Available at`http://www.risc.uni-linz.ac.at/people/wwindste/Teaching/AlgMeth1/AktuellerJG/`, 2003. - 17
- W. Windsteiger.

An Automated Prover for Set Theory in Theorema.

Contributed talk at Omega-Theorema Workshop, Hagenberg, Austria, May 26 2003. - 18
- W. Windsteiger.

Exploring an Algorithm for Polynomial Interpolation in the Theorema System.

Contributed talk at Calculemus'2003, Rome, Italy, September 12 2003. - 19
- W. Windsteiger.

Formalizing Mathematics / Computer-supported Mathematics.

Talk at the SFB Statusseminar, Strobl, Austria., April 2003. - 20
- W. Windsteiger.

Predicate logic as a working language.

Lecture notes. Available at`http://www.risc.uni-linz.ac.at/people/wwindste/Teaching/LogikAlsArbeitssprache/`, 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