77 lines
3.2 KiB
BibTeX
77 lines
3.2 KiB
BibTeX
|
@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}}
|
||
|
|
|
||
|
|
@inproceedings{KohDavGin:psewads11,
|
||
|
|
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},
|
||
|
|
note = {accepted for publication at ICCS 2011 (Finalist at the Executable Papers Challenge)},
|
||
|
|
year = 2011,
|
||
|
|
url = {https://svn.mathweb.org/repos/planetary/doc/epc11/paper.pdf},
|
||
|
|
keywords = {conference},
|
||
|
|
pubs = {mkohlhase,cdavid,dginev,akohlhase,clange,bmatican,smirea,vzholudev}}
|
||
|
|
|
||
|
|
@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},
|
||
|
|
url = {https://svn.kwarc.info/repos/kwarc/doc/macros/forCTAN/dfgproposal.pdf},
|
||
|
|
year = 2010}
|
||
|
|
@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}}
|