2014-02-15 12:01:14 +01:00
@TECHREPORT { CarlisleEd:MathML10 ,
author = {Ron Ausbrooks and Stephen Buswell and David Carlisle and
Giorgi Chavchanidze and St{\'e}phane Dalmas and Stan Devitt and Angel Diaz
and Sam Dooley and Roger Hunter and Patrick Ion and Michael
Kohlhase and Azzeddine Lazrek and Paul Libbrecht and Bruce Miller and
Robert Miner and Murray Sargent and Bruce Smith and Neil Soiffer and
Robert Sutor and Stephen Watt},
title = {{Mathematical} {Markup} {Language} ({MathML}) Version 3.0},
institution = {World Wide Web Consortium (W3C)},
year = {2010},
type = {{W3C Recommendation}},
editor = {David Carlisle and Patrick Ion and Robert Miner},
key = {MathML3},
keywords = {standard},
pubtype = {standard},
url = {http://www.w3.org/TR/MathML3},
pubs = {mkohlhase}}
2019-03-21 16:28:56 +01:00
@article { KohDavGin:psewads11 ,
journal = {Procedia Computer Science},
2014-02-15 12:01:14 +01:00
author = {Michael Kohlhase and Joe Corneli and Catalin David and Deyan Ginev and Constantin Jucovschi and Andrea Kohlhase and Christoph Lange and Bogdan Matican and Stefan Mirea and Vyacheslav Zholudev},
2019-03-21 16:28:56 +01:00
title = {The Planetary System: Web 3.0 \& Active Documents for {STEM}},
issuetitle = {Special issue: Proceedings of the International Conference on Computational Science ({ICCS})},
editor = {Mitsuhisa Sato and Satoshi Matsuoka and Peter M. Sloot and G. Dick van Albada and Jack Dongarra},
pages = {598--607},
venue = {Nanyang Technological University, Singapore},
eventdate = {2011-06-01/2011-06-03},
note = {Finalist at the Executable Paper Grand Challenge},
2014-02-15 12:01:14 +01:00
year = 2011,
2019-03-21 16:28:56 +01:00
volume = 4,
url = {http://kwarc.info/kohlhase/papers/epc11.pdf},
publisher = {Elsevier},
doi = {10.1016/j.procs.2011.04.063},
2014-02-15 12:01:14 +01:00
keywords = {conference},
2019-03-21 16:28:56 +01:00
pubs = {mkohlhase,cdavid,dginev,akohlhase,clange,bmatican,smirea,vzholudev,mathhub,omdoc},
acceptancerate = {14},
acceptancerateCOMMENT = {10/70 accepted into the finals}}
2014-02-15 12:01:14 +01:00
@techreport { Kohlhase:pdpl10 ,
author = {Michael Kohlhase},
title = {Preparing {DFG} Proposals in {\LaTeX} with \texttt{dfgproposal.cls}},
institution = {KWARC Group, Jacobs University Bremen},
type = {Self-documenting {\LaTeX} package},
2019-03-21 16:28:56 +01:00
url = {http://github.com/KWARC/LaTeX-proposal/dfg/dfgproposal.pdf},
2014-02-15 12:01:14 +01:00
year = 2010}
2019-03-21 16:28:56 +01:00
@article { KohDavGin:psewads11 ,
journal = {Procedia Computer Science},
author = {Michael Kohlhase and Joe Corneli and Catalin David and Deyan Ginev and Constantin Jucovschi and Andrea Kohlhase and Christoph Lange and Bogdan Matican and Stefan Mirea and Vyacheslav Zholudev},
title = {The Planetary System: Web 3.0 \& Active Documents for {STEM}},
issuetitle = {Special issue: Proceedings of the International Conference on Computational Science ({ICCS})},
editor = {Mitsuhisa Sato and Satoshi Matsuoka and Peter M. Sloot and G. Dick van Albada and Jack Dongarra},
pages = {598--607},
venue = {Nanyang Technological University, Singapore},
eventdate = {2011-06-01/2011-06-03},
note = {Finalist at the Executable Paper Grand Challenge},
year = 2011,
volume = 4,
url = {http://kwarc.info/kohlhase/papers/epc11.pdf},
publisher = {Elsevier},
doi = {10.1016/j.procs.2011.04.063},
keywords = {conference},
pubs = {mkohlhase,cdavid,dginev,akohlhase,clange,bmatican,smirea,vzholudev,mathhub,omdoc},
acceptancerate = {14},
acceptancerateCOMMENT = {10/70 accepted into the finals}}
2014-02-15 12:01:14 +01:00
@BOOK { Kohlhase:omdoc1.2 ,
title = {{\sc OMDoc} -- An open markup format for mathematical documents [Version 1.2]},
booktitle = {{\sc OMDoc} -- An open markup format for mathematical documents [Version
1.2]},
publisher = {Springer Verlag},
year = {2006},
month = aug,
author = {Michael Kohlhase},
number = {4180},
series = {LNAI},
url = {http://omdoc.org/pubs/omdoc1.2.pdf},
pubs = {mkohlhase,projects/omdocbiblio}}
@Article { StaKoh:tlcspx10 ,
author = {Heinrich Stamerjohanns and Michael Kohlhase and Deyan Ginev and Catalin David and Bruce Miller},
title = {Transforming large collections of scientific publications to {XML}},
journal = {Mathematics in Computer Science},
issuetitle = {Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge},
editor = {Serge Autexier and Petr Sojka and Masakazu Suzuki},
publisher = {Birkh{\"a}user},
volume = 3,
number = 3,
pages = {299--307},
url = {http://kwarc.info/kohlhase/papers/mcs10.pdf},
year = 2010,
pubs = {mkohlhase,stamer,dginev,cdavid,projects/arXMLiv}}
@misc { providemore , title = { \ldots } }
@BOOK { Lamport:ladps94 ,
title = {LaTeX: A Document Preparation System, 2/e},
publisher = {Addison Wesley},
year = {1994},
author = {Leslie Lamport}}
@BOOK { Knuth:ttb84 ,
title = {The {\TeX}book},
publisher = {Addison Wesley},
year = {1984},
author = {Donald E. Knuth}}
@BOOK { DK:LP ,
title = {{Literate Programming}},
publisher = {The University of Chicago Press},
year = 1992,
author = {Donald E. Knuth}}
