Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings - Xiao-Shan Gao, Dongming Wang, Lu Yang ((Lecture Notes in Computer Science))