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


InProceedingsReferred - 2004


September 27, 2008

Bibliography

1
B. Buchberger.
Algorithm supported mathematical theory exploration: A personal view and stragegy.
In B. Buchberger and J. Campbell, editors, Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), volume 3249 of Springer Lecture Notes in Artificial Intelligence, pages 236-250. Copyright: Springer, Berlin-Heidelberg, 22-24 September 2004.
2
B. Buchberger and A. Craciun.
Algorithm synthesis by lazy thinking: Examples and implementation in Theorema.
In F. Kamareddine, editor, Electronic Notes in Theoretical Computer Science, volume 93, pages 24-59, 18 February 2004.
Proc. of the Mathematical Knowledge Management Workshop, Edinburgh, Nov. 25, 2003.
3
B. Buchberger and A. Craciun.
Algorithm synthesis by lazy thinking: Using problem schemes.
In D. Petcu, V. Negru, D. Zaharie, and T. Jebelean, editors, Proceedings of 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'04), pages 90-106, Timisoara, Romania, 26-30 September 2004. Mirton Publisher.
4
B. Buchberger and T. Ida.
Computational origami: Interaction of solving, proving and computing.
In Proceedings of World Conference on 21st Century Mathematics, Lahore, Pakistan, 18-20 March 2004.
5
T. Ida, D. Tepeneu, B. Buchberger, and J. Robu.
Proving and constraint solving in computational origami.
In B. Buchberger and J. Campbell, editors, Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), volume 3249 of Springer Lecture Notes in Artificial Intelligence, pages 132-142. Copyright: Springer-Berlin, 22-24 September 2004.
6
T. Jebelean, L. Kovacs, and N. Popov.
Experimental program verification in the Theorema system.
In T. Margaria and B. Steffen, editors, Proceedings ISOLA 2004, pages 92-99, Paphos, Cyprus, November 2004.
7
L. Kovacs and T. Jebelean.
Automated generation of loop invariants by recurrence solving in Theorema.
In D. Petcu, V. Negru, D. Zaharie, and T. Jebelean, editors, Proceedings of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'04), pages 451-464, Timisoara, Romania, 26-30 September 2004. Mirton Publisher.
8
L. Kovacs and T. Jebelean.
Generation of loop invariants in Theorema by combinatorial and algebraic methods.
In F. Fazekas et al., editors, Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-144, volume vol. CVI, pages 125-134, Balatonalmadi, Hungary, 20-23 May 2004. Technical University of Budapest, PAMM-Centre.
9
T. Kutsia.
Solving equations involving sequence variables and sequence functions.
In B. Buchberger and J. A. Campbell, editors, Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC'04, volume 3249 of Lecture Notes in Artificial Intelligence, pages 157-170, Hagenberg, Austria, Sep 22-24 2004. Springer Verlag.
10
T. Kutsia and B. Buchberger.
Predicate logic with sequence variables and sequence function symbols.
In A. Asperti, G. Bancerek, and A. Trybulec, editors, Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04, volume 3119 of Lecture Notes in Computer Science, pages 205-219, Bialowieza, Poland, Sep 19-21 2004. Springer Verlag.
11
T. Kutsia and M. Marin.
Unification procedure for terms with sequence variables and sequence functions (extended abstract).
In M. Kohlhase, editor, Proceedings of the 18th International Workshop on Unification (UNIF'04), pages 1-13, Cork, Ireland, 5 2004.
12
M. Marin and T. Kutsia.
A rule-based approach to the implementation of evaluation strategies.
In D. Petcu, D. Zaharie, V. Negru, and T. Jebelean, editors, Proceedings of the 6th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'04), pages 227-241, Timisoara, Romania, Sep 26-30 2004. Mirton Publishing Company.
13
M. Marin and F. Piroi.
Deduction and presentation in ${\rho}$log.
In F. Kamareddine, editor, Proceedings of the Mathematical Knowledge Management Symposium, volume 93 of ENTCS, pages 161-182. Heriot-Watt University, Edinburgh, Elsevier, February 2004.
14
M. Marin and F. Piroi.
Rule-based programming with mathematica.
In Proceedings of the 6th International Mathematica Conference, Alberta, Canada. Wolfram Institute, August 2004.
Also as RICAM report series 2004-16.
15
F. Piroi.
User interface features in Theorema: A summary.
In P. Libbrecht, editor, In Proceedings of ``Mathematical User-Interfaces Workshop'' At the Third Mathematical Knowledge Management Conference, Bialowieza, Poland, pages 1-16, 2004.
Also available as SFB Technical Report 2004-46.
16
F. Piroi and B. Buchberger.
An environment for building mathematical knowledge libraries.
In W. Windsteiger and C. Benzmueller, editors, Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Second International Joint Conference (IJCAR), pages 19-29, Cork, Ireland, 4-8 July 2004.
17
N. Popov and T. Jebelean.
A practical approach to proving termination of recursive programs in Theorema.
In M. Codish and A. Middeldorp, editors, Proceedings of 7th International Workshop on Termination, pages 43-46, Aachen, Germany, June 2004.
18
J. Robu, D. Tepeneu, T. Ida, H. Takahashi, and B. Buchberger.
Computational origami construction of a regular heptagon with automated proof of its correctness.
In H. Hong and D. Wang, editors, Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry), volume 3763 of Lecture Notes in Computer Science, pages 19-33. University of Florida, Gainesville, FL, USA, Springer Berlin / Heidelberg, 2006.
19
M. Rosenkranz.
The algorithmization of physics: Math between science and engineering.
In B. Buchberger and J. A. Campbell, editors, Proceedings of AISC 2004, volume 3249 of Lecture Notes in Artificial Intelligence (LNAI), pages 1-7, Castle of Hagenberg, Austria, September 2004. Springer.
Invited talk.




Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund