Mechanical theorem proving in geometries : basic principles - Wen-tsun Wu.; Xiaofan Jin; Dongming Wang (Wien : Springer-Verlag, 1994)
Includes bibliographical references and index
Keywords: Geometry -- Data processing; Automatic theorem proving