Mechanization theorems of various geometries
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.
KeywordsTheorem Prove Number Field Projective Geometry Axiom System Transcendental Function
Unable to display preview. Download preview PDF.