International Workshop on Automated Deduction in Geometry (4th 2002 Linz, Austria)