% $ biblatex auxiliary file $
% $ biblatex version 2.1 $
% Do not modify the above lines!
%
% This is an auxiliary file used by the 'biblatex' package.
% This file may safely be deleted. It will be recreated as
% required.
%
\begingroup
\makeatletter
\@ifundefined{ver@biblatex.sty}
  {\@latex@error
     {Missing 'biblatex' package}
     {The bibliography requires the 'biblatex' package.}
      \aftergroup\endinput}
  {}
\endgroup

\entry{CarlisleEd:MathML10}{report}{}
  \name{author}{20}{}{%
    {{}%
     {Ausbrooks}{A.}%
     {Ron}{R.}%
     {}{}%
     {}{}}%
    {{}%
     {Buswell}{B.}%
     {Stephen}{S.}%
     {}{}%
     {}{}}%
    {{}%
     {Carlisle}{C.}%
     {David}{D.}%
     {}{}%
     {}{}}%
    {{}%
     {Chavchanidze}{C.}%
     {Giorgi}{G.}%
     {}{}%
     {}{}}%
    {{}%
     {Dalmas}{D.}%
     {St{\'e}phane}{S.}%
     {}{}%
     {}{}}%
    {{}%
     {Devitt}{D.}%
     {Stan}{S.}%
     {}{}%
     {}{}}%
    {{}%
     {Diaz}{D.}%
     {Angel}{A.}%
     {}{}%
     {}{}}%
    {{}%
     {Dooley}{D.}%
     {Sam}{S.}%
     {}{}%
     {}{}}%
    {{}%
     {Hunter}{H.}%
     {Roger}{R.}%
     {}{}%
     {}{}}%
    {{}%
     {Ion}{I.}%
     {Patrick}{P.}%
     {}{}%
     {}{}}%
    {{}%
     {Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
    {{}%
     {Lazrek}{L.}%
     {Azzeddine}{A.}%
     {}{}%
     {}{}}%
    {{}%
     {Libbrecht}{L.}%
     {Paul}{P.}%
     {}{}%
     {}{}}%
    {{}%
     {Miller}{M.}%
     {Bruce}{B.}%
     {}{}%
     {}{}}%
    {{}%
     {Miner}{M.}%
     {Robert}{R.}%
     {}{}%
     {}{}}%
    {{}%
     {Sargent}{S.}%
     {Murray}{M.}%
     {}{}%
     {}{}}%
    {{}%
     {Smith}{S.}%
     {Bruce}{B.}%
     {}{}%
     {}{}}%
    {{}%
     {Soiffer}{S.}%
     {Neil}{N.}%
     {}{}%
     {}{}}%
    {{}%
     {Sutor}{S.}%
     {Robert}{R.}%
     {}{}%
     {}{}}%
    {{}%
     {Watt}{W.}%
     {Stephen}{S.}%
     {}{}%
     {}{}}%
  }
  \name{editor}{3}{}{%
    {{}%
     {Carlisle}{C.}%
     {David}{D.}%
     {}{}%
     {}{}}%
    {{}%
     {Ion}{I.}%
     {Patrick}{P.}%
     {}{}%
     {}{}}%
    {{}%
     {Miner}{M.}%
     {Robert}{R.}%
     {}{}%
     {}{}}%
  }
  \keyw{standard}
  \strng{namehash}{AR+1}
  \strng{fullhash}{ARBSCDCGDSDSDADSHRIPKMLALPMBMRSMSBSNSRWS1}
  \field{sortinit}{A}
  \field{title}{{Mathematical} {Markup} {Language} ({MathML}) Version 3.0}
  \verb{url}
  \verb http://www.w3.org/TR/MathML3
  \endverb
  \list{institution}{1}{%
    {World Wide Web Consortium (W3C)}%
  }
  \field{type}{{W3C Recommendation}}
  \field{year}{2010}
\endentry

\entry{Kohlhase:omdoc1.2}{book}{}
  \name{author}{1}{}{%
    {{}%
     {Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \list{publisher}{1}{%
    {Springer Verlag}%
  }
  \strng{namehash}{KM1}
  \strng{fullhash}{KM1}
  \field{sortinit}{K}
  \field{booktitle}{{\sc OMDoc} -- An open markup format for mathematical
  documents [Version 1.2]}
  \field{number}{4180}
  \field{series}{LNAI}
  \field{title}{{\sc OMDoc} -- An open markup format for mathematical documents
  [Version 1.2]}
  \verb{url}
  \verb http://omdoc.org/pubs/omdoc1.2.pdf
  \endverb
  \field{month}{08}
  \field{year}{2006}
\endentry

\entry{Kohlhase:pdpl10}{report}{}
  \name{author}{1}{}{%
    {{}%
     {Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \strng{namehash}{KM1}
  \strng{fullhash}{KM1}
  \field{sortinit}{K}
  \field{title}{Preparing {DFG} Proposals in {\LaTeX} with
  \texttt{dfgproposal.cls}}
  \verb{url}
  \verb https://svn.kwarc.info/repos/kwarc/doc/macros/forCTAN/dfgproposal.pdf
  \endverb
  \list{institution}{1}{%
    {KWARC Group, Jacobs University Bremen}%
  }
  \field{type}{Self-documenting {\LaTeX} package}
  \field{year}{2010}
\endentry

\entry{KohDavGin:psewads11}{inproceedings}{}
  \name{author}{10}{}{%
    {{}%
     {Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
    {{}%
     {Corneli}{C.}%
     {Joe}{J.}%
     {}{}%
     {}{}}%
    {{}%
     {David}{D.}%
     {Catalin}{C.}%
     {}{}%
     {}{}}%
    {{}%
     {Ginev}{G.}%
     {Deyan}{D.}%
     {}{}%
     {}{}}%
    {{}%
     {Jucovschi}{J.}%
     {Constantin}{C.}%
     {}{}%
     {}{}}%
    {{}%
     {Kohlhase}{K.}%
     {Andrea}{A.}%
     {}{}%
     {}{}}%
    {{}%
     {Lange}{L.}%
     {Christoph}{C.}%
     {}{}%
     {}{}}%
    {{}%
     {Matican}{M.}%
     {Bogdan}{B.}%
     {}{}%
     {}{}}%
    {{}%
     {Mirea}{M.}%
     {Stefan}{S.}%
     {}{}%
     {}{}}%
    {{}%
     {Zholudev}{Z.}%
     {Vyacheslav}{V.}%
     {}{}%
     {}{}}%
  }
  \keyw{conference}
  \strng{namehash}{KM+1}
  \strng{fullhash}{KMCJDCGDJCKALCMBMSZV1}
  \field{sortinit}{K}
  \field{note}{accepted for publication at ICCS 2011 (Finalist at the
  Executable Papers Challenge)}
  \field{title}{The Planetary System: Web 3.0 \& Active Documents for STEM}
  \verb{url}
  \verb https://svn.mathweb.org/repos/planetary/doc/epc11/paper.pdf
  \endverb
  \field{year}{2011}
\endentry

\entry{StaKoh:tlcspx10}{article}{}
  \name{author}{5}{}{%
    {{}%
     {Stamerjohanns}{S.}%
     {Heinrich}{H.}%
     {}{}%
     {}{}}%
    {{}%
     {Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
    {{}%
     {Ginev}{G.}%
     {Deyan}{D.}%
     {}{}%
     {}{}}%
    {{}%
     {David}{D.}%
     {Catalin}{C.}%
     {}{}%
     {}{}}%
    {{}%
     {Miller}{M.}%
     {Bruce}{B.}%
     {}{}%
     {}{}}%
  }
  \name{editor}{3}{}{%
    {{}%
     {Autexier}{A.}%
     {Serge}{S.}%
     {}{}%
     {}{}}%
    {{}%
     {Sojka}{S.}%
     {Petr}{P.}%
     {}{}%
     {}{}}%
    {{}%
     {Suzuki}{S.}%
     {Masakazu}{M.}%
     {}{}%
     {}{}}%
  }
  \list{publisher}{1}{%
    {Birkh{\"a}user}%
  }
  \strng{namehash}{SH+1}
  \strng{fullhash}{SHKMGDDCMB1}
  \field{sortinit}{S}
  \field{issuetitle}{Special Issue on Authoring, Digitalization and Management
  of Mathematical Knowledge}
  \field{number}{3}
  \field{pages}{299\bibrangedash 307}
  \field{title}{Transforming large collections of scientific publications to
  {XML}}
  \verb{url}
  \verb http://kwarc.info/kohlhase/papers/mcs10.pdf
  \endverb
  \field{volume}{3}
  \field{journaltitle}{Mathematics in Computer Science}
  \field{year}{2010}
\endentry

\lossort
\endlossort

\endinput
