OMDoc

Results: 27



#Item
1Applications and Projects 26.2 QMath: A Human-Oriented Language and Batch Formatter for OMDoc

Applications and Projects 26.2 QMath: A Human-Oriented Language and Batch Formatter for OMDoc

Add to Reading List

Source URL: www.matracas.org

- Date: 2013-11-02 09:14:46
    2SemanticWorkshopWhitePaperV8.nb

    SemanticWorkshopWhitePaperV8.nb

    Add to Reading List

    Source URL: www.wolframfoundation.org

    Language: English - Date: 2016-06-07 14:51:41
    3MathDox: Mathematical Documents on the Web Contribution to the OMDoc book A.M. Cohen, H. Cuypers, E. Reinaldo Barreiro Department of Mathematics Eindhoven University of Technology December 2, 2005

    MathDox: Mathematical Documents on the Web Contribution to the OMDoc book A.M. Cohen, H. Cuypers, E. Reinaldo Barreiro Department of Mathematics Eindhoven University of Technology December 2, 2005

    Add to Reading List

    Source URL: www.win.tue.nl

    Language: English - Date: 2005-12-08 03:21:56
    4CADE-18 Workshop: Problems and Problem Sets Contents:  John Harrison Invited talk: Extracting Test Problems from Real Applications  J

    CADE-18 Workshop: Problems and Problem Sets Contents:  John Harrison Invited talk: Extracting Test Problems from Real Applications  J

    Add to Reading List

    Source URL: www.cs.miami.edu

    Language: English - Date: 2002-06-13 14:56:18
    5Easily Editing and Browsing Complex OpenMath Markup with SWiM Christoph Lange∗ Alberto González Palomo†

    Easily Editing and Browsing Complex OpenMath Markup with SWiM Christoph Lange∗ Alberto González Palomo†

    Add to Reading List

    Source URL: www.matracas.org

    Language: English - Date: 2013-11-02 09:14:46
    6Microsoft Word - WEC OMdoc

    Microsoft Word - WEC OMdoc

    Add to Reading List

    Source URL: www.corrections.nebraska.gov

    - Date: 2016-02-25 10:22:36
      7Mathematical, Interactive Exercise Generation from Static Documents. Manolis Mavrikis 1 School of Mathematics, The University of Edinburgh, Scotland - UK

      Mathematical, Interactive Exercise Generation from Static Documents. Manolis Mavrikis 1 School of Mathematics, The University of Edinburgh, Scotland - UK

      Add to Reading List

      Source URL: www.matracas.org

      Language: English - Date: 2013-11-02 09:14:46
      8Appendix K: Bibliography [1] R. L. Wilder. Cultural Basis of Mathematics I, II, III http://www.gap-system.org/~history/Extras/Cultural_Basis_I.html http://www.gap-system.org/~history/Extras/Cultural_Basis_II.html http://

      Appendix K: Bibliography [1] R. L. Wilder. Cultural Basis of Mathematics I, II, III http://www.gap-system.org/~history/Extras/Cultural_Basis_I.html http://www.gap-system.org/~history/Extras/Cultural_Basis_II.html http://

      Add to Reading List

      Source URL: www.wolframfoundation.org

      Language: English - Date: 2015-12-15 12:07:17
      926.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
      10OpenDreamKit Work Package 6 The Knowledge-First Strategy for System Integration

      OpenDreamKit Work Package 6 The Knowledge-First Strategy for System Integration

      Add to Reading List

      Source URL: opendreamkit.org

      Language: English - Date: 2016-04-03 07:00:36