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


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