OpenMath

Results: 60



#Item
11Interactive Learning and Mathematical Calculus? Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, and Mark Spanbroek Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands

Interactive Learning and Mathematical Calculus? Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, and Mark Spanbroek Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2005-12-08 03:07:51
1226.3 Sentido Integrated EnvironmentSentido: an Integrated Environment for OMDoc Project Home http://www.matracas.org/sentido/index.en.html

26.3 Sentido Integrated EnvironmentSentido: an Integrated Environment for OMDoc Project Home http://www.matracas.org/sentido/index.en.html

Add to Reading List

Source URL: www.matracas.org

Language: English - Date: 2013-11-02 09:14:46
1322nd OpenMath Workshop Editor: James H Davenport University of Bath July 9th 2009 Grand Bend Ontario Draft of book to be published by

22nd OpenMath Workshop Editor: James H Davenport University of Bath July 9th 2009 Grand Bend Ontario Draft of book to be published by

Add to Reading List

Source URL: staff.bath.ac.uk

Language: English - Date: 2009-07-09 19:30:42
    14Joint Proceedings of the 24th Workshop on OpenMath and the 7th Workshop on Mathematical User Interfaces (MathUI) and

    Joint Proceedings of the 24th Workshop on OpenMath and the 7th Workshop on Mathematical User Interfaces (MathUI) and

    Add to Reading List

    Source URL: ceur-ws.org

    Language: English - Date: 2012-10-17 12:20:56
      15The GF Mathematical Grammar Library: from OpenMath to natural languages Olga Caprotti1 and Jordi Saludes2 1 1

      The GF Mathematical Grammar Library: from OpenMath to natural languages Olga Caprotti1 and Jordi Saludes2 1 1

      Add to Reading List

      Source URL: ceur-ws.org

      Language: English - Date: 2012-07-11 09:34:33
        16Mathematical Computations for Linked Data Applications with OpenMath Ken Wenzel and Heiner Reinhardt Fraunhofer-Institute for Machine Tools and Forming Technology IWU, Chemnitz, Germany

        Mathematical Computations for Linked Data Applications with OpenMath Ken Wenzel and Heiner Reinhardt Fraunhofer-Institute for Machine Tools and Forming Technology IWU, Chemnitz, Germany

        Add to Reading List

        Source URL: ceur-ws.org

        Language: English - Date: 2012-09-15 15:29:14
          17Units and Dimensions in OpenMath James H. Davenport W.A. Naylor∗ Department of Computer Science University of Bath Victoria University of Wellington Bath BA2 7AY England New Zealand

          Units and Dimensions in OpenMath James H. Davenport W.A. Naylor∗ Department of Computer Science University of Bath Victoria University of Wellington Bath BA2 7AY England New Zealand

          Add to Reading List

          Source URL: www.openmath.org

          Language: English - Date: 2013-12-16 11:18:06
            18Limitations in OpenMath Kevin Kofler, Peter Schodl, Arnold Neumaier Faculty of Mathematics University of Vienna, Austria Nordbergstr. 15, 1090 Wien, Austria ,

            Limitations in OpenMath Kevin Kofler, Peter Schodl, Arnold Neumaier Faculty of Mathematics University of Vienna, Austria Nordbergstr. 15, 1090 Wien, Austria ,

            Add to Reading List

            Source URL: solon.cma.univie.ac.at

            Language: English - Date: 2010-04-29 08:05:30
              19Task: Version: Date:

              Task: Version: Date:

              Add to Reading List

              Source URL: www.openmath.org

              Language: English - Date: 2013-12-16 11:18:06
              20Cinderella: Computation, Complexity, Geometry Ulrich Kortenkamp, Freie Universit¨at Berlin July 2, 2002 This overview is a (very) slightly modified version of an original article to appear in the proceedings of ICMS 200

              Cinderella: Computation, Complexity, Geometry Ulrich Kortenkamp, Freie Universit¨at Berlin July 2, 2002 This overview is a (very) slightly modified version of an original article to appear in the proceedings of ICMS 200

              Add to Reading List

              Source URL: www.cccg.ca

              Language: English - Date: 2003-06-20 15:29:04