Kohlhase - PDFSEARCH.IO - Document Search Engine

Kohlhase
Results: 36

#	Item
31	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
32	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
33	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:35:12 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport
34	AISC 2004 7th International Conference on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2004-02-11 11:40:23 Linz Antoine Augustin Calmet Belaid Michael Kohlhase Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis Buchberger
35	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:36:33 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport
36	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

UPDATE