Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers (Springer, 1998)