<--- Back to Details
First PageDocument Content
OpenMath / OMDoc / MathML / Formula editor / James H. Davenport / Design Science / MathPlayer / HTML / XSLT / Computing / Markup languages / Mathematical markup languages
Date: 2013-12-16 11:17:57
OpenMath
OMDoc
MathML
Formula editor
James H. Davenport
Design Science
MathPlayer
HTML
XSLT
Computing
Markup languages
Mathematical markup languages

Version: Date: 2 September 2003

Add to Reading List

Source URL: www.openmath.org

Download Document from Source Website

File Size: 201,29 KB

Share Document on Facebook

Similar Documents

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

DocID: 1srGY - View Document

Knowledge engineering / Information science / Computing / Knowledge / Semantic Web / Knowledge representation / Philosophy of mathematics / Archival science / Global Digital Mathematics Library / Mathematics / OMDoc / Frame language

SemanticWorkshopWhitePaperV8.nb

DocID: 1r23P - View Document

Computing / Software / Application software / Markup languages / Mathematical markup languages / Web development / OpenMath / OMDoc / World Wide Web / DocBook / Web application / Wolfram Mathematica

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

DocID: 1q8mw - View Document

Automated theorem proving / Theoretical computer science / Mathematical logic / Software engineering / TPTP / Automated reasoning / SPASS / Reasoning system / Prolog / Model elimination / OMDoc / System on TPTP

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

DocID: 1pT02 - View Document

Computing / Markup languages / Mathematical markup languages / Semantic Web / Technical communication / OpenMath / Knowledge engineering / OMDoc / MathML / Formula editor / Resource Description Framework / Semantic wiki

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

DocID: 1pOTa - View Document