\begin{center}
\LARGE
An Overview on the Apply Math Project

\end{center}

\begin{center}
\Large
Bruno Buchberger

\end{center}

\noindent
Date:  July 17th (Wednesday)\\
Time:  08:30-08:55\\

\begin{center}
\large
Abstract
\end{center}

The goal of the Apply Math project at the RISC institute is the
expansion of {\it Mathematica} by interactive proving facilities so that
mathematical texts can be produced that contain both mathematical
text, interactive mathematical formulae, proofs of these formulae, and
algorithms based on these formulae. We present the logic concept, the
syntax, the structuring concept based on functor programming, and some
first examples of interactive theorem provers for certain mathematical
domains in the frame of this project.

