Publications of the Project F1302

UnpublishedUnInvited - 2007

September 27, 2008

UnpublishedUnInvited - 2007

September 27, 2008

## Bibliography

- 1
- A. Craciun and M. Hodorog.

The Quotient-Remainder Theorem for Natural Numbers: Discovery by Lazy Thinking.

Contributed talk at First Central and Eastern European Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education (CADGME), Pecs, Hungary, June 21 2007. - 2
- M. Erascu and T. Jebelean.

Verification of imperative programs using forward reasoning.

Contributed talk at SFB Statusseminar, Strobl, Austria, Apr., 11-14 2007. - 3
- L. Kovacs.

Automated Loop Invariant Generation by Algebraic Techniques Over the Rationals.

Contributed talk at Alpine Verification Meeting, Aussois, France, April 2007. - 4
- L. Kovacs.

Reasoning Algebraically About P-solvable Loops.

Contributed talk at SCORE Summer Workshop on Symbolic Computation and Software Verification, Fuji Susono, Japan, August 31 - September 3 2007. - 5
- L. Kovacs.

Reasoning Algebraically About P-solvable Loops.

Contributed talk at Dagstuhl Seminar 07401 on ``Deduction and Decision Procedures'', Schloss Dagstuhl, Germany, September 30 - October 5 2007. - 6
- L. Kovacs and T. Jebelean.

Algebraic Methods for Invariant Generation.

Contributed talk at SFB Statusseminar, Strobl, Austria, April 2007. - 7
- N. Popov and T. Jebelean.

Automated support for the algorithm validation.

Keynote talk. Contributed talk at New Trends in Mathematics and Informatics, 60 years Institute of Mathematics, Bulgarian Academy of Sciences, July 6 2007. - 8
- N. Popov and T. Jebelean.

Logical aspects of algorithm verification.

Contributed talk at SFB Statusseminar, Strobl, Austria, April, 14 2007. - 9
- N. Popov and T. Jebelean.

Proving termination of recursive programs or how to avoid proving termination.

Contributed talk at INTAS (Second Meeting of the INTAS Project), Moscow, Russia, August 27 2007. - 10
- R. Vajda.

Report on the CreaComp Project: Linking Computer Algebra and Automated Reasoning for Providing a New Learning Environment for Elementary Analysis.

Contributed talk at First Central and Eastern European Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education (CADGME), Pecs, Hungary, June 21 2007. - 11
- W. Windsteiger.

Creacomp: Computer-supported experiments and automated proving in learning and teaching mathematics.

Contributed talk at 8th International Conference on Technology in Mathematics Teaching (ICTMT8), Hradec Kralove, Czech Republic, July 3 2007. - 12
- W. Windsteiger.

Towards computer-supported proving in maths education.

Contributed talk at First Central and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education (CADGME), Pecs, Hungary, June 21 2007.

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