The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1302


Book - 2001


September 27, 2008

Bibliography

1

A. Armando and T. Jebelean, editors.
Calculemus: Integrating Computation and Deduction, volume 32 of Special Issue of Journal of Symbolic Computation, 2001.
ISSN 0747-7171.

2

B. Buchberger and O. Caprotti, editors.
MKM 2001 (1st International Workshop on Mathematical Knowledge Management), Research Institute for Symbolic Computation, Johannes Kepler University, Hagenberg, September 24-26 2001.
ISBN 3-902276-00-2.

3

T. Jebelean and V. Negru, editors.
Proceedings of the International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'01), Timisoara, Romania, September 2001. Mirton.

4

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 2178 in Lecture Notes in Computer Science, Las Palmas de Gran Canaria, Feb. 19-23 2001. Springer.
ISSN 0302-9743, ISBN 3-540-42959-X.

Please direct your comments or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund