Abstract
We introduced the concept of geometry from the viewpoint of axiomatization in Sect. 2.6 and the concepts of mechanical methods and mechanizability of theorem proving in geometry in Sect. 3.3. Furthermore, in Chaps. 3–5 we showed the mechanizability and presented the corresponding mechanical methods for some geometries or some classes of theorems. From the axiomatization to the mechanization, we have roughly gone through such a path as Axiomatization → Algebraization → Coordinatization → Mechanization.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Wien
About this chapter
Cite this chapter
Wu, Wt. (1994). Mechanization theorems of various geometries. In: Mechanical Theorem Proving in Geometries. Texts and Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6639-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6639-0_7
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82506-8
Online ISBN: 978-3-7091-6639-0
eBook Packages: Springer Book Archive