\begin{center}
\LARGE
Computer Algebra and Artificial Intelligence 

\end{center}

\begin{center}
\Large
Jacques Calmet

\end{center}

\noindent
Date:  July 18th (Thursday)\\
Time:  14:00-14:25\\

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

The relationship between CA and AI is stressed in the first part of the talk. It is emphasized that
this relationship leads to cross fertilization of the two domains. The second part of the talk is
devoted to two specific applications. The first one shows how to better prove theorems using
computer algebra systems. Examples using Maple and Magma will be presented. The second
application is for a problem in vision and more specifically in traffic scene reconstruction. It is
shown how Mathematica can be used to improve an approach based upon multi-agents. If time
permits, a possible non-standard application outside AI will be suggested: the use of Computer
Algebra in Econometrics. 

