Publications of the Project F1302

UnpublishedUnInvited - 2006

September 27, 2008

UnpublishedUnInvited - 2006

September 27, 2008

## Bibliography

- 1
- A. Craciun.

An Implementation of Groebner Synthesis in Theorema.

Contributed talk at Special Semester on Groebner Bases and Related Methods, Workshop C, Linz, Austria, March 6-10 2006. - 2
- M. Giese.

Practical reflection for formal mathematics in Theorema.

Contributed talk at Workshop on Formal Gröbner Bases Theory, Linz, Austria, March 2006. - 3
- L. Kovacs.

Combining algebraic and logic techniques for program verification.

Contributed talk at SFB Cooperation Meeting, Johannes Kepler University Linz, December 18 2006. - 4
- L. Kovacs and T. Jebelean.

Automated generation of polynomial invariants for imperative program verification in Theorema.

Contributed talk at INTAS Project Meeting, Institute eAustria, Timisoara, Romania, December 10-11 2006. - 5
- L. Kovacs and T. Jebelean.

Finding Polynomial Invariants for Imperative Loops.

Contributed talk at SFB Statusseminar, Strobl, Austria, April 2006. - 6
- L. Kovacs and T. Jebelean.

Using symbolic summation and polynomial algebra for imperative program verification in the Theorema system.

Contributed talk at 12th International Conference on Applications of Computer Algebra (ACA'06), Varna, Bulgaria, June 26-29 2006. - 7
- N. Popov and T. Jebelean.

Algebraic methods in the verification of recursive programs.

Contributed talk at SFB Statusseminar, Strobl, Austria, April, 20 2006. - 8
- N. Popov and T. Jebelean.

Functional program verification in Theorema - using completeness for debugging.

Contributed talk at INTAS (First Meeting of the INTAS Project), Timisoara, Romania, December 09 2006. - 9
- N. Popov and T. Jebelean.

Supporting functional program verification in Theorema.

Contributed talk at Calculemus, Genova, Italy, July 7 2006. - 10
- N. Popov and T. Jebelean.

Using computer algebra techniques for the specification and verification of recursive programs.

Contributed talk at ACA (Applications of Computer Algebra), Varna, Bulgaria, June 28 2006. - 11
- N. Popov and T. Jebelean.

Verification and synthesis of tail recursive programs in Theorema.

Contributed talk at NWPT (Nordic Workshop on Programming Theory), Reykjavik, Iceland, October 20 2006. - 12
- R. Vajda.

E-training of Formal Mathematics: Report on the CreaComp Project at the University of Linz.

Contributed talk at ACA (Applications of Computer Algebra), Varna, Bulgaria, June 26 2006. - 13
- R. Vajda.

Using Real Quantifier Elimination for Obtaining Witness Terms.

Contributed talk at SFB StatusSeminar, Strobl, Austria, April 20 2006. - 14
- R. Vajda and T. Jebelean.

Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis.

Contributed talk at ACA (Applications of Computer Algebra), Varna, Bulgaria, June 28 2006. - 15
- W. Windsteiger.

Analytica V: Towards the Mordell-Weil Theorem.

Contributed talk at Calculemus'06, Genova, Italy, July 9 2006. - 16
- W. Windsteiger.

Introduction to Theorema: An example of a formal math system.

Contributed talk at Special Semester on Groebner Bases: Workshop on Formal Groebner Bases Theory. RICAM, Linz, March 6 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