Formalization and Implementation of Algebraic Methods in Geometry

Details Formalization and Implementation of Algebraic Methods in Geometry Formalization and Implementation of Algebraic Methods in Geometry

2012-02-22

arxiv.org/abs/1202.4831v1

EPTCS 79, 2012, pp. 63-81

Computer Science

Symbolic Computation

In Proceedings THedu'11, arXiv:1202.4535

Scientific paper

10.4204/EPTCS.79.4

We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools. The project includes formal verification of the algebraic methods within Isabelle/HOL proof assistant and development of a new, open-source Java implementation of the algebraic methods. The project should fill-in some gaps still existing in this area (e.g., the lack of formal links between algebraic methods and synthetic geometry and the lack of self-contained implementations of algebraic methods suitable for integration with dynamic geometry tools) and should enable new applications of theorem proving in education.

Affiliated with

Also associated with

No associations

Rating

Formalization and Implementation of Algebraic Methods in Geometry does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Formalization and Implementation of Algebraic Methods in Geometry, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formalization and Implementation of Algebraic Methods in Geometry will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-414693