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


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

M. Giese and T. Jebelean, editors.
Proceedings Workshop on Invariant Generation, WING 2007, number 07-07 in RISC Report Series, June 2007.

3

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.

4

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.

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