Keywords: CALCULEMUS
2006
[13] Special Issue on Assistance Systems for Mathematics, (Christoph Benzmüller, ed.), Journal of Applied Logic, Elsevier, 2006. [bibtex] [pdf]
2004
[12] Computer-Supported Mathematical Theory Development, (Christoph Benzmüller, Wolfgang Windsteiger, eds.), RISC Report Series, number 04-14, 2004. (Proceedings of the first ``Workshop on Computer-Supported Mathematical Theory Development'' held in the frame of IJCAR 2004 in Cork, Ireland, July 5, 2004. ISBN 3-902276-04-5.) [bibtex] [pdf]
[11] The CALCULEMUS Final Report (Christoph Benzmüller, Corinna Hahn), Saarland University, Germany, pp. 1-57, 2004. (Final report of the Marie Curie Research Training Network CALCULEMUS within the EU 5th framework) [bibtex] [pdf]
2003
[10] The CALCULEMUS Midterm Report, (Christoph Benzmüller, Corinna Hahn, eds.), Saarland University, Germany, 2003. (EU Report, Saarland University, Saarbrücken, Germany) [bibtex] [pdf]
[9] The CALCULEMUS research training network: A short overview (Christoph Benzmüller), In Proceedings of the First QPQ Workshop on Deductive Software Components at CADE-19, pp. 13-27, 2003. (slides) [bibtex] [pdf]
[8] The CALCULEMUS research training network: A short overview (Christoph Benzmüller), In Proceedings of the 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2003), MMIII ARACNE EDITRICE S.R.L. (ISBN 88-7999-545-6), pp. 1-16, 2003. (slides) [bibtex] [pdf]
[7] CALCULEMUS-II: Computer-supported Mathematical Knowledge Evolution (Christoph Benzmüller, Dieter Hutter), Saarland University, Germany, pp. 1-73, 2003. (Project proposal for a Marie Curie Research Training Network within the EU 6th framework; 73 pages) [bibtex] [pdf]
[6] Systems for Integrated Computation and Deduction -- Interim Report of the CALCULEMUS IHP Network, (Christoph Benzmüller, ed.), SEKI Publications (ISSN 1437-4447), 2003. (135 pages) [bibtex] [pdf]
2002
[5] CALCULEMUS Autumn School 2002: Course Notes (Part III), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-09, 2002. (121 pages) [bibtex] [pdf]
[4] CALCULEMUS Autumn School 2002: Course Notes (Part II), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-08, pp. 1-130, 2002. ((130 pages)) [bibtex] [pdf]
[3] CALCULEMUS Autumn School 2002: Course Notes (Part I), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-07, pp. 1-168, 2002. ((168 pages)) [bibtex] [pdf]
[2] CALCULEMUS Autumn School 2002: Student Poster Abstracts, (Jürgen Zimmer, Christoph Benzmüller, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-06, pp. 1-116, 2002. ((115 pages)) [bibtex] [pdf]
2000
[1] Towards Learning New Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), In Symbolic Computation and Automated Reasoning (Manfred Kerber, Michael Kohlhase, eds.), A.K.Peters, pp. 142-159, 2000. [bibtex] [pdf]
Powered by bibtexbrowser