International Workshop on Automated Deduction in Geometry (1996 Toulouse, France)