Publications of the Project F1302

UnpublishedUnInvited - 2004

September 27, 2008

UnpublishedUnInvited - 2004

September 27, 2008

## Bibliography

- 1
- B. Buchberger.

Algorithm supported mathematical theory exploration.

(Springer Lecture Notes in Artificial Intelligence, Vol. 3249, ISSN 0302-9743, ISBN 3-540-23212-5). Contributed talk at AISC 2004 (7th International Conference on Artificial Intelligence and Symbolic Computation), RISC, Johannes Kepler University, Austria, September 22-24 2004. - 2
- B. Buchberger.

Algorithmic algorithm synthesis: Case study Gröbner Bases.

Contributed talk at International Algebra Conference, Moscow State University, May 26 - June 2 2004. - 3
- T. Jebelean.

Forward verification of recursive programs.

In Proceedings of CAVIS 04. Contributed talk at Computer Aided Verification of Information Systems, Timisoara, Romania, February 2004. - 4
- L. Kovacs and T. Jebelean.

Loop verification and imperative program execution in Theorema.

Contributed talk at Computer Aided Verification of Information Systems (CAVIS'04),Timisoara, Romania, 27 February 2004. - 5
- T. Kutsia.

Solving equations involving sequence variables and sequence functions.

Contributed talk at the 7th International Conference on Artificial Intelligence and Symbolic Computation (AISC'04), Hagenberg, Austria, September 2004. - 6
- T. Kutsia and B. Buchberger.

Predicate logic with sequence variables and sequence function symbols.

Contributed talk at the 3rd International Conference on Mathematical Knowledge Management (MKM'04), Bialowieza, Poland, September 2004. - 7
- M. Marin and T. Kutsia.

A rule-based approach to the implementation of evaluation strategies.

Contributed talk at the 6th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'04), Timisoara, Romania, September 2004. - 8
- N. Popov.

A practical approach to verification of recursive programs in Theorema.

Contributed talk at Computer Aided Verification of Information Systems (CAVIS-04), Timisoara, Romania, February 2004. - 9
- N. Popov.

Verification of functional programs in Theorema.

Contributed talk at Fifth Symposium on Trends in Functional Programming (TFP 04), Munich, Germany, November 2004. - 10
- N. Popov.

Verification of simple recursive programs in Theorema: Completeness of the method.

Contributed talk at 6th International Workshop on Symbolic and Numeric Algorithms in Scientific Computing (SYNASC'04), Timisoara, Romania, September 2004.

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