The theory of Euclidean Geometry is the foundation of almost all Computer-Geometry applications. Also it is one of the first mathematical theories that has been axiomatized systematically by D. Hilbert, in the beginning of this century [HIL 71]. Nevertheless, for most algorithms of "Computational Geometry" the algebraic interpretation of Geometry is of greater importance (see, e.g. [SHA