% $ biblatex auxiliary file $
% $ biblatex version 0.9 $
% 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

\preamble{%
\providecommand\seen{seen } \providecommand\webpageat{web page at }
  \providecommand\homepageat{home page at }
  \providecommand\projectpageat{project page at }
  \providecommand\systempageat{system home page at }
  \providecommand\svnrepoat{Subversion repository at }
  \providecommand\January{January} \providecommand\February{February}
  \providecommand\March{March} \providecommand\April{April}
  \providecommand\May{May} \providecommand\June{June}
  \providecommand\July{July} \providecommand\August{August}
  \providecommand\September{September} \providecommand\October{October}
  \providecommand\November{November} \providecommand\December{December}
  \providecommand\AUSTRALIA{Australia} \providecommand\ROMANIA{Romania}
  \providecommand\MEXICO{Mexico} \providecommand\ITALY{Italy}
  \providecommand\USA{USA} \providecommand\IRELAND{Ireland}
  \providecommand\HUNGARY{Hungary} \providecommand\JAPAN{Japan}
  \providecommand\CANADA{Canada} \providecommand\SPAIN{Spain}
  \providecommand\NETHERLANDS{Netherlands} \providecommand\UK{UK}
  \providecommand\SWEDEN{Sweden} \providecommand\GERMANY{Germany}
  \providecommand\openmath{OpenMath} \providecommand\fc{forthcoming}
  \providecommand\PROC{Proceedings} \providecommand\omdoc{OMDoc}
  \providecommand\activemath{ActiveMath}
}

\entry{CarIon:MathML03}{report}{}
  \name{author}{16}{%
    {{Ausbrooks}{A.}%
     {Ron}{R.}%
     {}{}%
     {}{}}%
    {{Buswell}{B.}%
     {Stephen}{S.}%
     {}{}%
     {}{}}%
    {{Carlisle}{C.}%
     {David}{D.}%
     {}{}%
     {}{}}%
    {{Dalmas}{D.}%
     {St{\'e}phane}{S.}%
     {}{}%
     {}{}}%
    {{Devitt}{D.}%
     {Stan}{S.}%
     {}{}%
     {}{}}%
    {{Diaz}{D.}%
     {Angel}{A.}%
     {}{}%
     {}{}}%
    {{Froumentin}{F.}%
     {Max}{M.}%
     {}{}%
     {}{}}%
    {{Hunter}{H.}%
     {Roger}{R.}%
     {}{}%
     {}{}}%
    {{Ion}{I.}%
     {Patrick}{P.}%
     {}{}%
     {}{}}%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
    {{Miner}{M.}%
     {Robert}{R.}%
     {}{}%
     {}{}}%
    {{Poppelier}{P.}%
     {Nico}{N.}%
     {}{}%
     {}{}}%
    {{Smith}{S.}%
     {Bruce}{B.}%
     {}{}%
     {}{}}%
    {{Soiffer}{S.}%
     {Neil}{N.}%
     {}{}%
     {}{}}%
    {{Sutor}{S.}%
     {Robert}{R.}%
     {}{}%
     {}{}}%
    {{Watt}{W.}%
     {Stephen}{S.}%
     {}{}%
     {}{}}%
  }
  \name{editor}{4}{%
    {{Carlisle}{C.}%
     {David}{D.}%
     {}{}%
     {}{}}%
    {{Ion}{I.}%
     {Patrick}{P.}%
     {}{}%
     {}{}}%
    {{Miner}{M.}%
     {Robert}{R.}%
     {}{}%
     {}{}}%
    {{Poppelier}{P.}%
     {Nico}{N.}%
     {}{}%
     {}{}}%
  }
  \list{institution}{1}{%
    {World Wide Web Consortium}%
  }
  \field{type}{{W3C} Recommendation}
  \strng{namehash}{AR+1}
  \strng{fullhash}{ARBSCDDSDSDAFMHRIPKMMRPNSBSNSRWS1}
  \field{labelalpha}{Aus+03}
  \field{sortinit}{A}
  \field{title}{{M}athematical {M}arkup {L}anguage ({MathML}) Version 2.0
  (second edition)}
  \verb{url}
  \verb http://www.w3.org/TR/MathML2
  \endverb
  \field{year}{2003}
\endentry

\entry{Bergstra:as89}{book}{}
  \name{author}{1}{%
    {{Bergstra}{B.}%
     {J.~A.}{J.~A.}%
     {}{}%
     {}{}}%
  }
  \list{publisher}{1}{%
    {ACM Press}%
  }
  \strng{namehash}{BJA1}
  \strng{fullhash}{BJA1}
  \field{labelalpha}{Ber89}
  \field{sortinit}{B}
  \field{title}{Algebraic specification}
  \field{year}{1989}
\endentry

\entry{BusCapCar:2oms04}{report}{}
  \name{author}{6}{%
    {{Buswell}{B.}%
     {Stephen}{S.}%
     {}{}%
     {}{}}%
    {{Caprotti}{C.}%
     {Olga}{O.}%
     {}{}%
     {}{}}%
    {{Carlisle}{C.}%
     {David~P.}{D.~P.}%
     {}{}%
     {}{}}%
    {{Dewar}{D.}%
     {Michael~C.}{M.~C.}%
     {}{}%
     {}{}}%
    {{Gaetano}{G.}%
     {Marc}{M.}%
     {}{}%
     {}{}}%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \list{institution}{1}{%
    {The Open Math Society}%
  }
  \field{type}{techreport}
  \strng{namehash}{BS+1}
  \strng{fullhash}{BSCOCDPDMCGMKM1}
  \field{labelalpha}{Bus+04}
  \field{sortinit}{B}
  \field{title}{The {Open Math} Standard, Version 2.0}
  \verb{url}
  \verb http://www.openmath.org/standard/om20
  \endverb
  \field{year}{2004}
\endentry

\entry{Deach:exls99}{report}{}
  \name{author}{1}{%
    {{Deach}{D.}%
     {Stephen}{S.}%
     {}{}%
     {}{}}%
  }
  \list{institution}{1}{%
    {World Wide Web Consortium ({W3C})}%
  }
  \field{type}{W3C Working Draft}
  \strng{namehash}{DS1}
  \strng{fullhash}{DS1}
  \field{labelalpha}{Dea99}
  \field{sortinit}{D}
  \field{title}{Extensible Stylesheet Language (XSL) Specification}
  \verb{url}
  \verb http://www.w3.org/TR/WD-xsl
  \endverb
  \field{year}{1999}
\endentry

\entry{Kay:xpr00}{book}{}
  \name{author}{1}{%
    {{Kay}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \list{publisher}{1}{%
    {Wrox}%
  }
  \strng{namehash}{KM1}
  \strng{fullhash}{KM1}
  \field{labelalpha}{Kay00}
  \field{sortinit}{K}
  \field{title}{{XSLT} Programmers Reference}
  \field{year}{2000}
\endentry

\entry{Kohlhase:ipsmsl:svn}{report}{}
  \name{author}{2}{%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
    {{Ginev}{G.}%
     {Deyan}{D.}%
     {}{}%
     {}{}}%
  }
  \field{type}{Self-documenting {\LaTeX} package}
  \strng{namehash}{KMGD1}
  \strng{fullhash}{KMGD1}
  \field{labelalpha}{KG10}
  \field{sortinit}{K}
  \field{title}{\texttt{presentation.sty}: An Infrastructure for Presenting
  Semantic Macros in {sTeX}}
  \verb{url}
  \verb https://svn.kwarc.info/repos/stex/trunk/sty/presentation/presentation.p
  \verb df
  \endverb
  \field{year}{2010}
\endentry

\entry{KohAmb:smmssl:svn}{report}{}
  \name{author}{3}{%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
    {{Ginev}{G.}%
     {Deyan}{D.}%
     {}{}%
     {}{}}%
    {{Ambrus}{A.}%
     {Rares}{R.}%
     {}{}%
     {}{}}%
  }
  \field{type}{Self-documenting {\LaTeX} package}
  \strng{namehash}{KMGDAR1}
  \strng{fullhash}{KMGDAR1}
  \field{labelalpha}{KGA10}
  \field{sortinit}{K}
  \field{title}{{\texttt{modules.sty}}: Semantic Macros and Module Scoping in
  {sTeX}}
  \verb{url}
  \verb https://svn.kwarc.info/repos/stex/trunk/sty/modules/modules.pdf
  \endverb
  \field{year}{2010}
\endentry

\entry{Knuth:ttb84}{book}{}
  \name{author}{1}{%
    {{Knuth}{K.}%
     {Donald~E.}{D.~E.}%
     {}{}%
     {}{}}%
  }
  \list{publisher}{1}{%
    {Addison Wesley}%
  }
  \strng{namehash}{KDE1}
  \strng{fullhash}{KDE1}
  \field{labelalpha}{Knu84}
  \field{sortinit}{K}
  \field{title}{The {\TeX}book}
  \field{year}{1984}
\endentry

\entry{Kohlhase04:stex}{inproceedings}{}
  \name{author}{1}{%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \name{editor}{1}{%
    {{Libbrecht}{L.}%
     {Paul}{P.}%
     {}{}%
     {}{}}%
  }
  \strng{namehash}{KM2}
  \strng{fullhash}{KM2}
  \field{labelalpha}{Koh04}
  \field{sortinit}{K}
  \field{booktitle}{Mathematical User Interfaces}
  \field{howpublished}{online at
  {\url{http://www.activemath.org/~paul/MathUI04}}}
  \field{title}{Semantic Markup for {\TeX/\LaTeX}}
  \verb{url}
  \verb http://www.activemath.org/~paul/MathUI04
  \endverb
  \field{year}{2004}
\endentry

\entry{Kohlhase:omfmd05}{misc}{}
  \name{author}{1}{%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \list{publisher}{1}{%
    {Springer Verlag}%
  }
  \strng{namehash}{KM2}
  \strng{fullhash}{KM2}
  \field{labelalpha}{Koh06}
  \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:clbscm:svn}{report}{}
  \name{author}{1}{%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \field{type}{Self-documenting {\LaTeX} package}
  \strng{namehash}{KM2}
  \strng{fullhash}{KM2}
  \field{labelalpha}{Koh10}
  \field{extraalpha}{1}
  \field{sortinit}{K}
  \field{title}{{CNX{\LaTeX}}: A {\LaTeX}-based Syntax for {Connexions}
  Modules}
  \verb{url}
  \verb https://svn.kwarc.info/repos/stex/trunk/sty/cnx/cnx.pdf
  \endverb
  \field{year}{2010}
\endentry

\entry{Kohlhase:tbscml:svn}{report}{}
  \name{author}{1}{%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \field{type}{Self-documenting {\LaTeX} package}
  \strng{namehash}{KM2}
  \strng{fullhash}{KM2}
  \field{labelalpha}{Koh10}
  \field{extraalpha}{2}
  \field{sortinit}{K}
  \field{title}{\texttt{cmathml.sty}: A {\TeX/\LaTeX}-based Syntax for Content
  MathML}
  \verb{url}
  \verb https://svn.kwarc.info/repos/stex/trunk/sty/cmathml/cmathml.pdf
  \endverb
  \field{year}{2010}
\endentry

\entry{Kohlhase:smp:svn}{report}{}
  \name{author}{1}{%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \field{type}{Self-documenting {\LaTeX} package}
  \strng{namehash}{KM2}
  \strng{fullhash}{KM2}
  \field{labelalpha}{Koh10}
  \field{extraalpha}{3}
  \field{sortinit}{K}
  \field{title}{\texttt{sproof.sty}: Structural Markup for Proofs}
  \verb{url}
  \verb https://svn.kwarc.info/repos/stex/trunk/sty/sproof/sproof.pdf
  \endverb
  \field{year}{2010}
\endentry

\entry{Kohlhase:smms:svn}{report}{}
  \name{author}{1}{%
    {{Kohlhase}{K.}%
     {Michael}{M.}%
     {}{}%
     {}{}}%
  }
  \field{type}{Self-documenting {\LaTeX} package}
  \strng{namehash}{KM2}
  \strng{fullhash}{KM2}
  \field{labelalpha}{Koh10}
  \field{extraalpha}{4}
  \field{sortinit}{K}
  \field{title}{\texttt{statements.sty}: Structural Markup for Mathematical
  Statements}
  \verb{url}
  \verb https://svn.kwarc.info/repos/stex/trunk/sty/statements/statements.pdf
  \endverb
  \field{year}{2010}
\endentry

\entry{Lamport:ladps94}{book}{}
  \name{author}{1}{%
    {{Lamport}{L.}%
     {Leslie}{L.}%
     {}{}%
     {}{}}%
  }
  \list{publisher}{1}{%
    {Addison Wesley}%
  }
  \strng{namehash}{LL1}
  \strng{fullhash}{LL1}
  \field{labelalpha}{Lam94}
  \field{sortinit}{L}
  \field{title}{LaTeX: A Document Preparation System, 2/e}
  \field{year}{1994}
\endentry

\entry{activemathAIEDJ01}{article}{}
  \name{author}{8}{%
    {{Melis}{M.}%
     {E.}{E.}%
     {}{}%
     {}{}}%
    {{Buedenbender}{B.}%
     {J.}{J.}%
     {}{}%
     {}{}}%
    {{Andres}{A.}%
     {E.}{E.}%
     {}{}%
     {}{}}%
    {{Frischauf}{F.}%
     {Adrian}{A.}%
     {}{}%
     {}{}}%
    {{Goguadze}{G.}%
     {G.}{G.}%
     {}{}%
     {}{}}%
    {{Libbrecht}{L.}%
     {P.}{P.}%
     {}{}%
     {}{}}%
    {{Pollet}{P.}%
     {M.}{M.}%
     {}{}%
     {}{}}%
    {{Ullrich}{U.}%
     {C.}{C.}%
     {}{}%
     {}{}}%
  }
  \field{journaltitle}{Artificial Intelligence and Education}
  \strng{namehash}{ME+1}
  \strng{fullhash}{MEBJAEFAGGLPPMUC1}
  \field{labelalpha}{Mel+01}
  \field{sortinit}{M}
  \field{number}{4}
  \field{title}{The {\sc{ActiveMath}} Learning Environment}
  \field{volume}{12}
  \field{year}{2001}
\endentry

\entry{Miller:latexml:online}{online}{}
  \name{author}{1}{%
    {{Miller}{M.}%
     {Bruce}{B.}%
     {}{}%
     {}{}}%
  }
  \strng{namehash}{MB1}
  \strng{fullhash}{MB1}
  \field{labelalpha}{Mil10}
  \field{sortinit}{M}
  \field{howpublished}{Web Manual at \url{http://dlmf.nist.gov/LaTeXML/}}
  \field{title}{{\texttt{LaTeXML}}: A {\LaTeX} to {XML} Converter}
  \verb{url}
  \verb http://dlmf.nist.gov/LaTeXML/
  \endverb
  \field{year}{2010}
  \field{urlday}{08}
  \field{urlmonth}{05}
  \field{urlyear}{2010}
  \warn{\item Invalid format of field 'month'}
\endentry

\entry{MKM-IG-Meetings:online}{misc}{}
  \field{type}{Project homepage}
  \field{labelalpha}{Mkm}
  \field{sortinit}{M}
  \field{title}{Meetings and Conferences on Mathematical Knowledge Management}
  \verb{url}
  \verb http://www.mkm-ig.org/meetings/
  \endverb
  \field{urlday}{12}
  \field{urlmonth}{03}
  \field{urlyear}{2007}
\endentry

\entry{RobVor:hoar01}{book}{}
  \name{editor}{2}{%
    {{Robinson}{R.}%
     {Alan}{A.}%
     {}{}%
     {}{}}%
    {{Voronkov}{V.}%
     {Andrei}{A.}%
     {}{}%
     {}{}}%
  }
  \list{publisher}{2}{%
    {Elsevier Science}%
    {MIT Press}%
  }
  \strng{namehash}{RAVA1}
  \strng{fullhash}{RAVA1}
  \field{labelalpha}{RV01}
  \field{sortinit}{R}
  \field{booktitle}{Handbook of Automated Reasoning}
  \field{title}{Handbook of Automated Reasoning}
  \field{volume}{I and II}
  \field{year}{2001}
\endentry

\lossort
\endlossort

\endinput
