ADG2000 The Third International Workshop on Automated Deduction in Geometry