Semantic wiki - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-02-24 01:38:22 Computing Information science Technical communication Markup languages Mathematical markup languages OMDoc Semantic wiki Semantic MediaWiki Ontology Semantic Web Information Science		Add to Reading List Source URL: kwarc.info Download Document from Source Website File Size: 759,02 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