Mechanization theorems of various geometries

  • Wen-tsün Wu
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)


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.


Theorem Prove Number Field Projective Geometry Axiom System Transcendental Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Wien 1994

Authors and Affiliations

  • Wen-tsün Wu
    • 1
  1. 1.Institute of Systems ScienceAcademia SinicaBeijingPeople’s Republic of China

Personalised recommendations