-X.-S. Gao/D. Wang/L. Yang (Eds.): Automated Deduction in Geometry. Proceedings 1998, Springer-Verlag 1999 (Subseries LNAI)