Automated deduction in geometry Second International Workshop, ADG '98, Beijing, China, August 1 - 3, 1998 (Springer, 1999)