\documentstyle[12pt]{article}

\textwidth 6.5in
\textheight 7.5in
\evensidemargin=-0.1in
\oddsidemargin=-0.1in
\topmargin -0.7in



\pagestyle{empty}
\begin{document}

\title{A Toolkit for Algebraic Geometry}

\author{Ashutosh Rege \thanks{ E-mail: rege@cs.Berkeley.edu} \\ \\
Computer Science Division \\
University of California\\
Berkeley, CA 94720}
\date{}

\maketitle
\thispagestyle{empty}


\begin{abstract}
In this talk we describe a toolkit for polynomial algebra 
developed at Berkeley for solving various problems in algebraic
geometry and polynomial system solving. 
The toolkit can be applied to a number of problems arising in robotics,
computer-aided geometric design,  and other areas of science and 
engineering. 
The toolkit uses various techniques like straight-line programs
and mixed arithmetic to make multi-variate polynomial computations
more efficient.
We demonstrate the application of this toolkit to the
well known problem of geometric theorem proving and
to solving other problems.  
\\ \\
\noindent {\bf Toolkit availability} : Version 1.1
of the toolkit can be obtained by anonymous ftp from 
{\bf robotics.eecs.berkeley.edu}. 
\end{abstract}

\end{document}
