Abstract
The paper discusses the dimension method, introduced by Carra and Gallo, to prove theorems in elementary and differential geometry. The method, based on the computation of the dimension of algebraic varieties, which is carried out by first determining Grobner bases, introduces different levels of validity of geometric statements. The paper compares the outcome of this approach with that of Wu's method, discusses its theoretical bases and presents a refined decision algorithm for the differential case, which improves a previous version. A software environment that allows to experiment with the two different theorem provers has been designed and is presented in the paper. The environment interface provides a specification language that enables users to easily describe geometric relationships among the geometric entities involved in a problem. A problem description is then interpreted to yield a graphic representation of the problem and to provide polynomial equations which constitute the input to the provers.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
