文档介绍:Texts and Monographs in
putation
A Series of the Research Institute for putation,
Johannes-Kepler-University, Linz, Austria
Edited by B. Buchberger and G. E. Collins
Wen-tstin Wu
Mechanical
Theorem Proving
in Geometries
Basic Principles
Translated from the Chinese
by Xiaofan Jin and Dongming Wang
Springer-Verlag Wien GmbH
Dr. Wen-tsiin Wu
Institute of Systems Science
Academia Sinica, Beijing, People's Republic of China
Originally published as
"Basic Principles of Mechanical Theorem Proving in Geometries"
in Chinese language by Science Press, Beijing, 1984
This work is subject to copyright.
All rights are reserved, whether the whole or part of the material is concemed, specif•
ically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction
by photo-copying machines or similar means, and storage in data banks.
© 1994 Springer-Verlag Wien
Originally published by Springer-Verlag Wien New York in 1994
Data conversion by H.-D. Ecker, Biiro fUr Textverarbeitung, Bonn
Printed by Novographic, Ing. Wolfgang Schmid, A-1230 Wien
Printed on acid-free and chlorine-free bleached paper
With 120 Figures
Library of Congress Cataloging-in-Pnblication Data
Wu, Wen-tsiin.
Mechanical theorem proving in geometries : basic principles / Wen
-tsiin Wu ; translated from the Chinese by Xiaofan Jin and Dongming