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
52A LATEX to OpenMath Phrasebook David Malone <dwmalone@maths.tcd.ie> 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

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
53OpenMath 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.

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
54OpenMath 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.

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
55Version: Date: 3 June 2004

Version: Date: 3 June 2004

Add to Reading List

Source URL: www.openmath.org

Language: English - Date: 2013-12-16 11:17:57
56Disclaimer 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

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
57Version: Date: 2 September 2003

Version: Date: 2 September 2003

Add to Reading List

Source URL: www.openmath.org

Language: English - Date: 2013-12-16 11:17:57
58Conversion between MathML and OpenMath D. Carlisle, J. Davenport, M.Dewar, N.Hur and W. Naylor1 Bath/NAG c 2001 The OpenMath Consortium[removed])

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
59Transforming large collections of scientific publications to XML H. Stamerjohanns, M. Kohlhase, D. Ginev, C. David and B. R. Miller

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
60Bootstrapping a Semantic Wiki Application for Learning Mathematics Claus Zinn∗

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