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 - 2003


September 27, 2008

Bibliography

1
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.
2
T. Ida and M. Marin.
Functional Logic Origami Programming with Open CFLP.
In P. Mitic, P. Ramsden, and J. Carne, editors, Challenging the Boundaries of Symbolic Computation. Proceedings of 5th International Mathematica Symposium (IMS 2003), Imperial College, London, 2003. Imperial College Press.
3
T. Ida, M. Marin, and H. Takahashi.
Constraint Functional Logic Programming for Origami Construction.
In Proceedings of the First Asian Symposium on Programming Languages and Applications, Beijing, China, 2003.
4
T. Jebelean, L. Kovacs, and N. Popov.
Verification of imperative programs in Theorema.
In D. Dranidis and K. Tigka, editors, Proceedings of the 1st South-East European Workshop in Formal Methods (SEEFM'03), Thessaloniki, Greece, November 20 2003.
5
N. Kobayashi, M. Marin, and T. Ida.
A web oriented system for equational solving.
In G. Vidal, editor, Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP'03, 2003.
6
L. Kovacs and T. Jebelean.
Generation of Invariants in Theorema.
In N. Boja, editor, Proceedings of the 10th International Symphosium of Mathematics and its Application, pages 407-415, 6-9 November 2003.
Scientific Bulletins of the Politehnica University Timisoara, Transactions on Mathematics and Physics.
7
L. Kovacs and T. Jebelean.
Practical aspects of imperative program verification using Theorema.
In T. Jebelean and V. Negru, editors, Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), Timisoara, Romania, 2003.
8
T. Kutsia.
Equational prover of Theorema.
In R. Nieuwenhuis, editor, Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA'03), volume 2706 of LNCS, Valencia, Spain, 2003. Springer Verlag.
9
T. Kutsia.
Matching in flat theories.
In J. Levy, M. Kohlhase, J. Niehren, and M. Villaret, editors, Proceedings of the 17th International Workshop on Unification (UNIF 2003), Valencia, Spain, 2003.
10
T. Kutsia.
Unification modulo flatness.
In T. Jebelean and V. Negru, editors, Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), Timisoara, Romania, 2003.
11
M. Marin.
Functional programming with sequence variables: The sequentica package.
In J. Levy, M. Kohlhase, J. Niehren, and M. Villaret, editors, Proceedings of the 17th International Workshop on Unification (UNIF 2003), 2003.
12
M. Marin and T. Kutsia.
On the implementation of a rule-based programming system and some of its applications.
In B. Konev and R. Schmidt, editors, Proceedings of the Fourth International Workshop on the Implementation of Logics, Almaty, Kazakhstan, 2003.
13
M. Marin and T. Kutsia.
Programming with transformation rules.
In T. Jebelean and V. Negru, editors, Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), Timisoara, Romania, 2003.
14
M. Marin and D. Tepeneu.
Programming with Sequence Variables: The Sequentica Package.
In P. Mitic, P. Ramsden, and J. Carne, editors, Challenging the Boundaries of Symbolic Computation. Proceedings of 5th International Mathematica Symposium (IMS 2003), Imperial College, London, 2003. Imperial College Press.
15
N. Popov and T. Jebelean.
A practical approach to verification of recursive programs in Theorema.
In T. Jebelean and V. Negru, editors, Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), Timisoara, Romania, 2003.
16
M. Rosenkranz.
Symbolic solution of simple BVPs on the operator level: A new approach.
In T. Jebelean and V. Negru, editors, Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), Timisoara, Romania, 2003.
17
W. Windsteiger.
Exploring an algorithm for polynomial interpolation in the Theorema system.
In T. Hardin and R. Rioboo, editors, Calculemus 2003. 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, pages 130-136. Aracne, 2003.




Please direct your comments or eventual problem reports to webmaster.

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