\documentclass[a4wide,11pt]{article}

\usepackage{geometry}
\usepackage{color}
\usepackage{tabularx}
\usepackage{hyperref}
\usepackage{graphicx}
\usepackage{alltt}
\usepackage{verbatim}
\usepackage{colortbl}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{rotate}
\usepackage{background}
\usepackage{url}
\usepackage{enumerate}


%------- IT IS A DRAFT --------------

%\usepackage{draftstamp}

\DeclareGraphicsRule{*}{mps}{*}{}
\DeclareGraphicsExtensions{.eps,.ps,.jpg}
%\DeclareGraphicsExtensions{.pdf,.jpg,.gif,.png}

%--------------------------------


%========================================
%  macros
%=========================================
%----------------
% version comments
%----------------
\newwrite\notes
\makeatletter
\immediate\openout\notes=\jobname.not
\newcommand\NOTE[3]{%
  \marginpar{\textbf{#1}\par\footnotesize\raggedright#3}%
  \protected@write\notes{}{\protect\pagenote{#1}{\two@digits\c@page}{#2}{#3}}
  \ignorespaces}
\newcommand\NOTEX[3]{%
  \ifhmode\vadjust\fi
  {\@@line{%
   \ifodd\c@page
   \hss\raisebox{0pt}[0pt]{\rlap{\hskip\marginparsep\parbox{\marginparwidth}{\textbf{#1}\endgraf\footnotesize\raggedright#3}}}%
   \else
   \raisebox{0pt}[0pt]{\llap{\parbox{\marginparwidth}{\textbf{#1}\endgraf\footnotesize\raggedright#3}\hskip\marginparsep}\hss}%
   \fi}}%
  \protected@write\notes{}{\protect\pagenote{#1}{\two@digits\c@page}{#2}{#3}}%
  \ignorespaces}

\newcommand\pagenote[4]{%
  \par
  \noindent#1\ #3\dotfill\ page\ \ifnum#2<10 \phantom0\@gobble#2\else#2\fi\\#4\par}
\makeatother

%========================================
%  settings
%=========================================
\newcommand{\cd}{\textsc{CD}}
\newcommand{\cocoa}{\textsl{CoCoA}}
\newcommand{\coq}{\textsc{Coq}}
\newcommand{\gap}{\textsf{GAP}}
\newcommand{\ida}{{\it Algebra Interactive!\/}}
\newcommand{\mml}{\textsc{MathML}}
\newcommand{\mathematica}{\textsl{Mathematica}}
\newcommand{\MathBook}{\textsc{MathBook}}
\newcommand{\mod}{\,\textrm{mod}\,}
\newcommand{\oma}{\textbf{application}}
\newcommand{\Phr}{phrasebook}
\newcommand{\Phrs}{phrasebooks}
\newcommand{\xhtml}{\textsc{XHtml}}
\newcommand{\xsl}{\textsc{xsl}}

\newcommand{\DocBook}{{\rm DocBook }}
\newcommand{\Gap}{{\rm Gap }}
\newcommand{\Mathematica}{{\rm Mathematca }}
\newcommand{\Maple}{{\rm Maple }}

\newcommand{\nl}{\smallskip\noindent}
\newcommand{\np}{\bigskip\noindent}

\newcommand{\wsdl}{\textsc{wsdl}}

\newcommand{\html}{\textsc{HTML}}
\newcommand{\jsp}{\textsc{JSP}}
\newcommand{\latex}{\textsc{LaTex}}
\newcommand{\pdf}{\textsc{PDF}}
\newcommand{\soap}{\textsc{soap}}
\newcommand{\java}{\textsc{Java}}
\newcommand{\om}{\textsc{OpenMath}}
\newcommand{\mathml}{\textsc{MathML}}
\newcommand{\CAS}{\textsc{CAS}}

\newcommand{\mathbook}{\textsc{MathDox}}
\newcommand{\monet}{\textsc{MONET}}
\newcommand{\HTTP}{\textsc{HTTP}}
\newcommand{\web}{\textsc{WEB}}
\newcommand{\IMD}{\textsc{IMD}}
\newcommand{\omdoc}{\textsc{OmDoc}}
\newcommand{\mathdox}{\textsc{MathDox}}
\newcommand{\docbook}{\textsc{DocBook}}
\newcommand{\lambdacal}{$\lambda$-calculus}
\newcommand{\lambdaterm}{$\lambda$-term}


%========================================
%  Context abbreviations
%=========================================
\newcommand{\TTs}{Type-Templates}
\newcommand{\TT}{Type-Template}
\newcommand{\ecds}{Extended-Formal CDs}
\newcommand{\ecd}{Extended-Formal CD}

\newcommand{\docclass}{\mathfrak{D}}
\newcommand{\colschemata}{\mathfrak{S}}
\newcommand{\colident}{\mathfrak{I}}
\newcommand{\initree}[1]{\mathcal{IT}(#1)}
\newcommand{\supp}[1]{Supp(#1)}
\newcommand{\graph}[1]{\mathcal{G}(#1)}
\newcommand{\mathelem}{\mathfrak{M}}
\newcommand{\crossref}{\mathfrak{R}}

\newcommand{\Var}   {Variable}
\newcommand{\Vars}  {Variables}
\newcommand{\var}   {variable}
\newcommand{\vars}  {variables}


\newcommand{\taglib}  {Tag Library}
\newcommand{\fmp}     {FMP}
\newcommand{\fmpl}    {Formal Mathematical Property}
\newcommand{\cmp}     {CMP}
\newcommand{\cmpl}    {Commented Mathematical Property}

%========================================
%  XML abbreviations
%=========================================
\newcommand{\BT}[1]{$<$#1$>$}
\newcommand{\ET}[1]{$</$#1$>$}
\newcommand{\BET}[1]{$<$#1/$>$}
\newcommand{\attr}[1]{{\bf#1}}
\newcommand{\varname}[1]{{\bf #1}}
\newcommand{\param}[1]{{\bf #1}}
\newcommand{\attrval}[1]{{\em #1}}
\newcommand{\nname}[1]{{\em #1}}
\newcommand{\xml}{\textsc{XML}}
\newcommand{\dtd}{\textsc{DTD}}
\newcommand{\schema}{\textsc{Schema}}
\newcommand{\schemata}{\textsc{Schemata}}
\newcommand{\xslt}{\textsc{XSLT}}





\newcommand{\CODE}[1]{\begin{verbatim} \input{#1}}
\parskip=0.5\baselineskip
\parindent=0pt
\newtheorem {definition}{Definition}[section]
\newtheorem {theorem}{Theorem}[section]
\newtheorem {lemma}{Lemma}[section]
\newtheorem {corollary}{Corollary}[section]
\newtheorem {proposition}{Proposition}[section]

\newtheorem {problem}{Problem}[section]
\newtheorem {question}{Question}[section]
\newtheorem {TODO}{TODO}[section]

\newtheorem {remark}{Remark}[section]
\newtheorem {remarks}{Remarks}[section]
\newtheorem {example}{Example}[section]
\newtheorem {Definition}{Definition}[section]

%---------------------------------------------------
\title{Context}
\author{E. Reinaldo Barreiro\\
RIACA, Eindhoven University of Technology\\
Eindhoven, The Netherlands\\
\texttt{ereinald@win.tue.nl}
}

%-----------------------------------------------------

\begin{document}

\maketitle

\tableofcontents
\newpage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%   Foc
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\input{foc.tex}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%   Context
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{context.txt}


\begin{thebibliography}{99}
\bibitem{ActiveMath} The ActiveMath Project. http://www.activemath.org/index.html.
\bibitem{amaya}
Amaya, W3C's Editor/Browser, \verb`www.w3.org/Amaya`.

\bibitem{axiom:om}
{Axiom} interface to {O}pen{M}ath.
{O}pen{M}ath ESPRIT {D}eliverable, 2000,\\
\verb`www.nag.co.uk/projects/OpenMath/final/node10.htm`.
\bibitem{barcoh} H. Barendregt and A.M. Cohen. \em Electronic
communication of mathematics and the interaction of computer algebra
systems and proof assistants.  \rm J. Symbolic Computation {\bf 32}
(2001) 3--22.
\bibitem{aebcoding} A.\,E.~Brouwer.
{\em Coding theory server, for bounds on the minimum distance of $q$-ary 
linear codes,
$q=2,3,4,5,7,8,9$},\\
\verb`http://www.win.tue.nl/~aeb/voorlincod.html`.
\bibitem{Caprotti_Cohen_Riem:00}
O.~Caprotti, A.~M. Cohen, and M.~Riem.
{\em Java {P}hrasebooks for {C}omputer {A}lgebra and {A}utomated
{D}eduction.}
SIGSAM Bulletin, 2000.
Special Issue on {O}pen{M}ath.
\bibitem{Caprotti_Cohen:99tphol}
O.~Caprotti and A.M.~Cohen.
{\em Connecting proof checkers and computer algebra using {O}pen{M}ath,}
\rm pp.\ 109--112 in {\em The 12th International Conference on Theorem Proving 
in
Higher Order Logics} (Y. Bertot, G. Dowek, A. Hirschowitz, C. Paulin, L. 
Th\'ery
eds.) Nice, France, September 1999.
Springer Lecture Notes in Computer Science,
vol. 1690. %  ISBN 3-540-66463-7
\bibitem{roleOM} O.~ Caprotti and A.M.~Cohen,
{\em
On the role of OpenMath in interactive mathematical documents},
Journal of Symbolic Computation {\bf 32} (2001) 351--364 .
%special issue on the integration of computer algebra and deduction systems, 
%for Calculemus 1999

\bibitem{Caprotti_Oostdijk:00calc}
O.~Caprotti and M.~Oostdijk.
{\em Formal and efficient primality proofs by use of computer algebra oracles},
J. Symbolic Computation {\bf 32} (2001) 55--70.

\bibitem{omstandard}
O. Caprotti, A.M. Cohen, D. Carlisle,
{\em 
The OpenMath Standard},\\
\verb`www.openmath.org/`.
\bibitem{lisbon} O. Caprotti, A. M.\ Cohen, H.  Cuypers, H. Sterk. {\em
    OpenMath Technology for Interactive Mathematical Documents}, pp.\ 51--66
  in "{M}ultimedia {T}ools for {C}ommunicating {M}athematics", (eds.\ Jonathan
  Borwein, Maria H.~Morales, Konrad Polthier, and Jos{\'{e}} F.~Rodrigues),
  Springer-Verlag, 2002.

\bibitem{thailand} O. Caprotti, A. M.\ Cohen, H. Cuypers,
M. N. Riem, and H. Sterk. \em Using \om{} Servers for
Distributing Mathematical Computations, \rm pp.~325--336 in: ATCM 2000:
Proceedings of the Fifth Asian Technology Conference in Mathematics,
Chiang-Mai, Thailand, Wei Chi Yang, Sung-Chi Chu, Jen-Chung Chuan
(eds.),
ATCM, Inc., 2000.
\bibitem{ida} A.M. Cohen, H. Cuypers, H. Sterk.
{\em Algebra Interactive!},
Interactive lecture notes on Algebra (paper book and CD-Rom),
Springer-Verlag, Heidelberg, August 1999.
\bibitem{dagstuhl}
A.M. Cohen, H.~Cuypers, E.~Reinaldo Barreiro, H.~Sterk,
{\em Interactive Mathematical Documents on the Web},
pp.~289--307 in {\sl Algebra, Geometry, and Software Systems},
(eds.\ Joswig and Takayama),
%Dagstuhl Proceedings
Springer 2003.
%src in paris/apr.tex
\bibitem{tapas}
A.M. Cohen,
H. Cuypers, H. Sterk (eds.). {\em Some
Tapas of Computer Algebra},
Springer-Verlag, Heidelberg, 1999.
\bibitem{acela}
A.M. Cohen and L. Meertens.
{\em
The ACELA project: Aims and Plans,}
\rm pp.\ 7--23 in {\sl Computer-Human interaction in Symbolic Computation}
(ed.\ N. Kajler),
Texts and Monographs in Symbolic Computation,
Springer-Verlag, Wien, 1998. %(ISBN 3-211-82843-5).

\bibitem{DocBook} DocBook.org. http://www.docbook.org/.

\bibitem{faugere} J.C. Faug\`ere's Polynomial Equations Server,\\
\verb`www-calfor.lip6.fr/~jcf`.
\bibitem{FoC} The FoC project. http://calfor.lip6.fr/~foc/.

\bibitem{gap:om}
{GAP} interface to {O}pen{M}ath.
{O}pen{M}ath ESPRIT {D}eliverable, 2000,\\
\verb`www-groups.dcs.st-andrews.ac.uk/~gap/Info4/deposit.html`.
\bibitem{gbnp} GBNP, Cohen \& Gijsbers' GAP package for noncommutative Gr\"obner basis,
\verb`http://www.win.tue.nl/~amc/pub/grobner/doc.html`.
\bibitem{HUTT99} Hutter, D. Reasoning About Theories. Technical Report, Deutches Forschungszentrum 
fur Kuenstliche Intelligenz (DFKI),1999.

\bibitem{HUTT00} Hutter, D. Management of Change in Structure Verification.    

\bibitem{jsp}
JavaServer Pages, for dynamically generated Web content,\\
\verb`java.sun.com/products/jsp/`.
\bibitem{MBaseContext} Kohlhase, M; Franke, A. MBase: Represented Knowledge and 
                       Context for the Integration of Mathematical Software 
                       Systems. Article submited to the Journal of Symbolic 
                       Computation.
\bibitem{LaTex} LaTeX: A document Preparation System, User's guide and 
      Reference manual; Leslie Lamport; 2nd edition; ISBN 0-201-52983-1.
\bibitem{maple} Maple, the computer algebra system,
\verb`www.maplesoft.com`.
\bibitem{mathematica} \mathematica, the computer algebra system, 
\verb`www.wolfram.com`.
\bibitem{MathMLurl} \mml{}, Mathematical Markup Language,\\ \verb`www.w3.org/TR/MathML2/`.

\bibitem{stilo}
MathWriter, Stilo's editor for rapid generation of mathematical expressions 
for display and processing on
the Web (handles \mathml{} and \om{}),\\
\verb`STILO: www.stilo.com`.
\bibitem{MBase} The MBase Mathematical Knowledge Base. http://www.mathweb.org/mbase/.
\bibitem{mozilla} Mozilla, a browser development project,
\verb`www.mozilla.org`.
\bibitem{OMDOC} OmDoc. http://www.mathweb.org/omdoc/.

\bibitem{OMurl}
\om{}~Society Website,
\verb`www.openmath.org`.
\bibitem{caldwell} Prime Pages,
\verb`http://www.utm.edu/research/primes`.

\bibitem{MathWeb} MathWeb.org. http://www.mathweb.org/.

\bibitem{MONET} MONET home page. http://monet.nag.co.uk/cocoon/monet/index.html.

\bibitem{ROML}
ROML, The RIACA \om{} Library,\\
\verb`crystal.win.tue.nl/public/projects`.
\bibitem{cinderella}
J.~Richter-Gebert and U.~Kortenkamp. {\em Cinderella. The interactive geometry
software} (book and CD-Rom), Springer-Verlag, Berlin, Heidelberg, 1999.\\
See also \verb`www.cinderella.de/en/index.html`.
\bibitem{sloane} N.J.A.~Sloane.
Online Encyclopedia of Integer Sequences,\\
\verb`www.research.att.com/~njas/sequences`.

\bibitem{ASCS} A.~Solomon, C.A.~Struble.  {\em JavaMath: an API for Internet
accessible mathematical services,} \rm to appear in Proceedings of the
Asian Symposium on Computer Mathematics (2001),\\ 
\verb`www.illywhacker.net/papers/ascm.ps`.
\bibitem{AS}
A.~Solomon, {\em Distributed Computing for Mathematical System 
Integration,}
\rm
to appear in this volume, 2001.

\bibitem{tomcat} Tomcat, servlet container used in 
the Jakarta Project,\\ \verb`jakarta.apache/org/tomcat`.

\bibitem{Wang} D. Wang, {\em Autmated generation of diagrams with Maple and
    Java}, pp.\ 277--287 in `Algebra, Geometry, and Software Systems', M.
  Joswig and N. Takayama (eds.), Springer 2003.
\verb`www.mat.bham.ac.uk/atlas`.
\bibitem{webmath}
Webmathematica, Mathematica on the Web,\\
\verb`www.wolfram.com/products/webmathematica`.
\bibitem{wilsonsite}
R.\,A.~Wilson. Atlas of Finite Group Representations,\\
\verb`www.mat.bham.ac.uk/atlas`.
\end{thebibliography}

\bibliographystyle{plain} \bibliography{}
\end{document}

