Author: International Workshop on Automated Deduction in Geometry (2nd 1998 Beijing, China)