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


September 27, 2008

Bibliography

1
B. Buchberger.
Gröbner Bases: A Short Introduction for Systems Theorists.
In R. Moreno-Diaz, B. Buchberger, and J. L. Freire, editors, EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), number 2201 in Lecture Notes in Computer Science, pages 1-19, Las Palmas de Gran Canaria, February 19-23 2001. Springer.
ISSN 0302-9743, ISBN 3-540-42959-X.
2
B. Buchberger.
Logicographic symbols: A new feature in Theorema.
In Symbolic Computation - New Horizons (Proceedings of the 4th International Mathematica Symposium), pages 23-30, Tokyo Denki University, Chiba Campus, Japan, June 25 - 27 2001. Tokyo Denki University Press.
ISBN 4-501-73020-X C3041.
3
B. Buchberger.
The PCS prover in Theorema.
In R. Moreno-Diaz, B. Buchberger, and J. L. Freire, editors, EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), number 2201 in Lecture Notes in Computer Science, pages 469-478, Las Palmas de Gran Canaria, Feb. 19-23 2001. Springer.
ISSN 0302-9743, ISBN 3-540-42959-X.
4
B. Buchberger.
Theorema: Extending Mathematica by automated proving.
In D. Bosanac and D. Ungar, editors, PrimMath 2001 (The Programming System Mathematica in Science, Technology, and Education), pages 10-11. University of Zagreb, September 27-28 2001.
ISBN 953-6076-71-3.
5
B. Konev and T. Jebelean.
Solution Lifting Method for Handling Meta-variables in Theorema.
In V. Negru and T. Jebelean, editors, 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'01), Timisoara, Romania, October 2001.
6
K. Nakagawa and B. Buchberger.
Two tools for mathematical knowledge management in Theorema.
In B. Buchberger and O. Caprotti, editors, First International Workshop on Mathematical Knowledge Management (MKM 2001), Schloss Hagenberg, Austria, RISC, September 2001. RISC-Linz.
ISBN 3-902276-00-2.
7
F. Piroi and T. Jebelean.
Advanced Proof Presentation in Theorema.
In V. Negru and T. Jebelean, editors, 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'01), Timisoara, Romania, October 2001.
8
J. Robu.
Systematic Exploration of Geometric Configurations Using Mathematica.
In V. Negru and T. Jebelean, editors, 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'01), Timisoara, Romania, October 2001.
9
W. Windsteiger.
On a solution of the mutilated checkerboard problem using the Theorema set theory prover.
In S. Linton and R. Sebastiani, editors, Proceedings of the Calculemus 2001 Symposium, 2001.
Talk given at the Calculemus 2001 workshop, June 21, 2001.




Please direct your comments or eventual problem reports to webmaster.

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