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


September 27, 2008

Bibliography

1
C. Benzmüller and W. Windsteiger, editors.
Computer-Supported Mathematical Theory Development, University College Cork, Ireland, July 2004.
In the frame of IJCAR'04.
2
B. Buchberger and J. Campbell, editors.
Artificial Intelligence and Symbolic Computation, volume 3249 of Lecture Notes in Artificial Intelligence. Springer Berlin-Heidelberg, September 2004.
3
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.




Please direct your comments or eventual problem reports to webmaster.

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