\begin{thebibliography}{RGK03}
\expandafter\ifx\csname urlstyle\endcsname\relax
  \providecommand{\doi}[1]{doi:\discretionary{}{}{}#1}\else
  \providecommand{\doi}{doi:\discretionary{}{}{}\begingroup
  \urlstyle{rm}\Url}\fi

\bibitem[\textsc{Cho88}]{Chou88}
Shang-Ching Chou, \emph{Mechanical Geometry Theorem Proving}, D. Reidel
  Publishing Company, Dordrecht, Holland, 1988.

\bibitem[\textsc{CLO96}]{Cox96}
David Cox, John Little und Donal O'Shea, \emph{Ideals, Varieties, and
  Algorithms}, Springer, New York, 1996.

\bibitem[\textsc{Cox61}]{Coxeter}
H.S.M. Coxeter, \emph{Introduction to {G}eometry}, John Wiley \& Sons, Inc.,
  New York, 2. Edition, 1961.

\bibitem[\textsc{Cox63}]{CoxeterUnv}
ders., \emph{Unvergängliche {G}eometrie}, Birkhäuser Verlag, Stuttgart, 1963.

\bibitem[\textsc{dUB04}]{geonext}
GeoNext~Team der Universität-Bayreuth, \emph{GeoNext}, Universität-Bayreuth:
  {http://www.geonext.de/}, 2004.

\bibitem[\textsc{Fun}]{GeometrischUntersuchungen}
Oliver Funck, \emph{Geometrische Untersuchungen mit Computerunterstützung},
  siehe {http://www.uni-duisburg.de/SCHULEN/STG/Wettbewerbe/jufo2.html}.

\bibitem[\textsc{Grä00}]{CARGraebe}
Hans-Gert Gräbe, \emph{Das \textsc{SymbolicData}-Projekt},
  \emph{Computeralgebra-Rundbrief}, 26, 2000.

\bibitem[\textsc{Grä02a}]{SymbolicData}
ders., \emph{The \textsc{SymbolicData}-{P}roject}, siehe
  {http://www.SymbolicData.org}, 2000--2002.

\bibitem[\textsc{Grä02b}]{RWCAGraebe}
ders., \emph{The \textsc{SymbolicData} {G}eometry {C}ollection and the
  {G}eo{P}rover {P}ackages}, \emph{8th Rhine Workshop on Computer Algebra
  (RWCA-02)}, pages 173--194, 2002.

\bibitem[\textsc{Gro04}]{magma}
Computational~Algebra Group, \emph{Magma Website}, siehe
  {http://magma.maths.usyd.edu.au/magma/}, 2004.

\bibitem[\textsc{Har00}]{Hartshorne00}
Robin Hartshorne, \emph{Algebraic Geometrie}, Springer Verlag, New York, 2000.

\bibitem[\textsc{Kun94}]{KunzAlgebra}
Ernst Kunz, \emph{Algebra}, Vieweg, Braunschweig/Wiesbaden, 2. Edition, 1994.

\bibitem[\textsc{Kun97}]{Kunz97geo}
ders., \emph{Einführung in die algebraische Geometrie}, Vieweg,
  Braunschweig/Wiesbaden, 1997.

\bibitem[\textsc{Map04}]{maple}
Maplesoft, \emph{Maple Demoversion}, Anfrage nach kostenloser Demoversion an
  Scientific Computer unter {http://scientific.de/kontakt.html}, 2004.

\bibitem[\textsc{Pad04}]{mupad}
MuPad~Gruppe Paderborn, \emph{MuPad Demoversion}, siehe
  {http://www.mupad.de/schule/download/index.shtml}, 2004.

\bibitem[\textsc{Red}]{reduce}
\emph{Reduce Demoversion}, siehe {http://www.uni-koeln.de/REDUCE/index.html}.

\bibitem[\textsc{RGK03}]{cinderella}
Jürgen Richter-Gebert und Ulrich Kortenkamp, \emph{Interaktive
  Geometrie-Software Cinderella}, {http://cinderella.de/de}, 2003.

\bibitem[\textsc{Sch96}]{Scheid}
Harald Scheid, \emph{Elemente der {G}eometrie}, Spektrum Akademischer Verlag,
  Heidelberg, 2. Edition, 1996.

\bibitem[\textsc{Stu89}]{Sturmfels89}
B.~Sturmfels, \emph{Computing final polynomials and final syzygies using
  Buchberger's Gröbnerbases method}, Resultate der Mathematik 15, 1989.

\bibitem[\textsc{Wol03}]{mathematica}
Research Wolfram, \emph{Mathematica Demoversion}, siehe
  {http://www.additive-net.de/software/mathematica/download/mma.download.demo.%
shtml}, 2003.

\end{thebibliography}
