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


Book


September 27, 2008

Bibliography

1
H. Anai, K. Horimoto, and T. Kutsia, editors.
Algebraic Biology, volume 4545 of Lecture Notes in Computer Science. Springer, 2007.
2
A. Armando and T. Jebelean, editors.
Calculemus 99: International Workshop on Combining Proving and Computation. Electronic Notes in Theoretical Computer Science, http://www.elsevier.nl/locate/entcs, July 1999.
Trento, Italy - by CADE 99.
3
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.
4
A. Asperti, B. Buchberger, and J. H. Davenport, editors.
MKM 2003: Mathematical Knowledge Management. Springer, February 2003.
Bertinoro, Italy.
5
C. Benzmüller and W. Windsteiger, editors.
Computer-Supported Mathematical Theory Development, University College Cork, Ireland, July 2004.
In the frame of IJCAR'04.
6
B. Buchberger and J. Campbell, editors.
Artificial Intelligence and Symbolic Computation, volume 3249 of Lecture Notes in Artificial Intelligence. Springer Berlin-Heidelberg, September 2004.
7
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.
8
B. Buchberger, G. Gonnet, and M. Hazewinkel, editors.
Special Issue on Mathematical Knowledge Management, Annals of Mathematics and Artificial Intelligence, volume 38. Kluwer Academic Publisher, 2003.
9
B. Buchberger and T. Jebelean, editors.
The 2nd International Theorema Workshop. Proceedings published as RISC-Report 98-10, June 29-30 1998.
Hagenberg, Austria.
10
M. Giese and T. Jebelean, editors.
Proceedings Workshop on Invariant Generation, WING 2007, number 07-07 in RISC Report Series, June 2007.
11
T. Jebelean, B. Kutzler, and P. Schofield, editors.
Applications of Computer Algebra in Education, volume 6. Special issue of the International Journal of Computer Algebra in Mathematics Education, 1999.
12
T. Jebelean and V. Negru, editors.
Proceedings of the Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'00), Timisoara, Romania, October 2000. University of Timisoara.
13
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.
14
T. Jebelean and V. Negru, editors.
Proceedings of International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'02), Timisoara, Romania, October 2002. Mirton.
ISBN 973-585-785-5.
15
T. Jebelean and V. Negru, editors.
Proceedings of International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), Timisoara, Romania, October 2003. Mirton.
16
T. Jebelean and V. Negru, editors.
Proceedings of International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'04), Timisoara, Romania, September 2004. Mirton.
17
T. Jebelean and V. Negru, editors.
Proceedings of the International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), Timisoara, Romania, 2005. Mirton.
18
T. Jebelean and V. Negru, editors.
Proceedings of the International Workshop on Symbolic and Numeric Algorithms for Scientific Computing SYNASC'06, Timisoara, Romania, September 2006. Mirton.
19
T. Jebelean and V. Negru, editors.
Proceedings of the International Workshop on Symbolic and Numeric Algorithms for Scientific Computing SYNASC'07, Timisoara, Romania, September 2007. Mirton.
20
M. Kauers, M. Kerber, R. Miner, and W. Windsteiger, editors.
Towards Mechanized Mathematical Assistants, Proceedings of Calculemus'07 and MKM'07 conferences, Hagenberg, Austria, volume 4573 of Lecture Notes in Computer Science, Heidelberg, 2007. Springer.
21
A. Kovacs, G. Tigan, L. Kovacs, and C. Milici.
Computer Assisted Mathematics (in romanian: ``Matematic Superioare Asistae de Calculator'').
Politechnica Publisher, Timisoara, 1st edition, 2006.
22
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.
23
K. Nakagawa, editor.
Logic, Mathematics and Computer Science: Interactions (LMCS' 2002). RISC, Linz, October 2002.
ISBN 3-902276-02-9.




Please direct your comments or eventual problem reports to webmaster.

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