Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers - Wang, Dongming; Wang, Dongming (Springer Berlin Heidelberg : Imprint: Springer, 1997)