First Page | Document Content | |
---|---|---|
![]() Date: 2013-12-16 11:17:57OpenMath OMDoc MathML Formula editor James H. Davenport Design Science MathPlayer HTML XSLT Computing Markup languages Mathematical markup languages | Add to Reading List |
![]() | Applications and Projects 26.2 QMath: A Human-Oriented Language and Batch Formatter for OMDocDocID: 1srGY - View Document |
![]() | SemanticWorkshopWhitePaperV8.nbDocID: 1r23P - View Document |
![]() | 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, 2005DocID: 1q8mw - View Document |
![]() | CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications JDocID: 1pT02 - View Document |
![]() | Easily Editing and Browsing Complex OpenMath Markup with SWiM Christoph Lange∗ Alberto González Palomo†DocID: 1pOTa - View Document |