Mechanical theorem proving in geometries
Subtitle: basic principles
By: Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.
Series: Texts and monographs in symbolic computation,
Publisher: Springer-Verlag
Published: 1994
Place of publication: Wien; New York
Language: eng
Number of pages: 288
Subjects: Geometry -- Data processing; Automatic theorem proving
Notes: Includes bibliographical references (p. [281]-284) and index.
"Originally published as 'Basic principles of mechanical theorem proving in geometries' in Chinese language by Science Press, Beijing, 1984"--T.p. verso.