OpenMath - PDFSEARCH.IO - Document Search Engine

OpenMath
Results: 60

#	Item
51	PDF Document Add to Reading List Source URL: www.pragma-ade.com Language: English - Date: 2010-05-06 11:53:25 OpenMath MathML File shortcut XSLT Index Computing Markup languages Mathematical markup languages
52	A LATEX to OpenMath Phrasebook David Malone December 6, 2000 This LATEX to OpenMath phrasebook is in essentially two parts. The first part (om2pl) is a C program which uses the INRIA C library to Add to Reading List Source URL: www.maths.tcd.ie Language: English - Date: 2000-12-06 12:14:43 Procedural programming languages Data types Cross-platform software Mathematical markup languages OpenMath Variable Perl Disk formatting C Computing Software engineering Markup languages
53	OpenMath Society Business Meeting 2009 Secretary: James H. Davenport [removed] Checkers: David Carlisle, Patrick Ion 8 July 2009 Kohlhase opened the OpenMath Business Meeting. The agenda was agreed. Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:17:58 OpenMath James H. Davenport Michael Kohlhase Davenport Iowa MathML Davenport Markup languages Mathematical markup languages Computing
54	OpenMath Business Meeting Notes by JHD 8 July 2010 — Room 11.A3.33, CNAM 1. Election of a President of the Meeting. MK was proposed and elected by acclamation. 2. Election of a Secretary of the Meeting. Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:17:58 OpenMath MathML Acclamation Markup languages Mathematical markup languages Computing
55	Version: Date: 3 June 2004 Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:17:57 OpenMath OMDoc MathML Formula editor James H. Davenport Design Science MathPlayer XSLT HTML Computing Markup languages Mathematical markup languages
56	Disclaimer 1 This notes were largely derived from JHD’s own notes and integrated by OC with her own handwritten minutes. JHD and OC have tried to capture some quotes, but these have not been checked by the quoted autho Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:17:58 OpenMath James H. Davenport MathML Michael Kohlhase 20 Markup languages Mathematical markup languages Computing
57	Version: Date: 2 September 2003 Add to Reading List Source URL: www.openmath.org Language: English - 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
58	Conversion between MathML and OpenMath D. Carlisle, J. Davenport, M.Dewar, N.Hur and W. Naylor1 Bath/NAG c 2001 The OpenMath Consortium[removed]) Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:18:06 OpenMath MathML Markup languages Mathematical markup languages Computing
59	Transforming large collections of scientific publications to XML H. Stamerjohanns, M. Kohlhase, D. Ginev, C. David and B. R. Miller Add to Reading List Source URL: kwarc.info Language: English - Date: 2011-02-24 01:35:29 LaTeX OMDoc TeX4ht TeX OpenMath Design Science Michael Kohlhase ConTeXt XML Computing Markup languages MathML
60	Bootstrapping a Semantic Wiki Application for Learning Mathematics Claus Zinn∗ Add to Reading List Source URL: www.activemath.org Language: English - Date: 2006-12-19 06:46:04 Semantic Web World Wide Web OMDoc Hypertext OpenMath Social information processing Semantic wiki MediaWiki MathML Computing Markup languages Mathematical markup languages

UPDATE