Wang,Dongming Automated deduction in geometry / Wang,Dongming. - International Worksh - Berlin: Springer, 1997. - 234p;26cm - Lecture notes in artificial intelligence,No-1360 . Includes bibliographical references. ISBN: 3540642978 Dewey Class. No.: 006.3 WAN