SemanticWorkshopWhitePaperV8.nb

First Page		Document Content
Date: 2016-06-07 14:51:41 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 Add to Reading List Source URL: www.wolframfoundation.org Download Document from Source Website File Size: 149,25 KB Share Document on Facebook

	Applications and Projects 26.2 QMath: A Human-Oriented Language and Batch Formatter for OMDoc DocID: 1srGY - View Document
	SemanticWorkshopWhitePaperV8.nb DocID: 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, 2005 DocID: 1q8mw - View Document
	CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications J DocID: 1pT02 - View Document
	Easily Editing and Browsing Complex OpenMath Markup with SWiM Christoph Lange∗ Alberto González Palomo† DocID: 1pOTa - View Document