MathDox related Publications

Papers

  • O. Caprotti, A. M. Cohen, H. Cuypers, M. N. Riem, H. Sterk

    Using OpenMath Servers for Distributing Mathematical Computations, ATCM 2000: Proceedings of the Fifth Asian Technology Conference in Mathematics, 2000, Chiang-Mai, Thailand, eds. Wei Chi Yang and Sung-Chi Chu and Jen-Chung Chuan, 325--336.

  • O. Caprotti, A. M. Cohen, H. Cuypers, H. Sterk.

    OpenMath technology for interactive mathematical documents, in Multimedia Tools for Communicating Mathematics, pages 51-66, Springer-Verlag, Berlin, Heidelberg, 2002.

  • A. M. Cohen, H. Cuypers, E. Reinaldo Barreiro and H. Sterk.

    Interactive Mathematical Documents on the Web, in Algebra, Geometry and Software Systems (eds M. Joswig and N. Takayama), Springer Verlag, 2003, 289-306.

  • H. Cuypers, H. Sterk

    Mathbook: web technology for mathematical documents, in the electronic proceedings of the conference BITE 2001, Eindhoven.

    A.M. Cohen, H. Cuypers, K. Poels, M. Spanbroek, R. Verrijzer, (2006).

  • WExEd : WebALT exercise editor for multilingual mathematical exercises. In , Proceedings of the First WebALT Conference and Exhibition (WebALT2006, Eindhoven, The Netherlands, January 5-6, 2006), Electronic Library of Mathematics EMS,

  • A.M. Cohen, H. Cuypers, D. Jibetean, M. Spanbroek, (2006).

    Interactive learning and mathematical calculus In M. Kohlhase , Mathematical Knowledge Management (Fourth International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised selected papers) (Lecture Notes in Computer Science, Vol. 3863, pp. 330-345). Berlin: Springer.

  • A.M. Cohen, H. Cuypers, E. Reinaldo Barreiro, (2006).

    MathDox : mathematical documents on the web. In M. Kohlhase, OMDoc : An Open Markup Format for Mathematical Documents [version 1.2] (pp. 262-265) Berlin: Springer-Verlag.

Course material