Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems

Details Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems

2007-03-16

arxiv.org/abs/math/0703483v2

Mathematics

Algebraic Geometry

25 pages, 8 figures

Scientific paper

The main idea in this paper is merging two techniques that have been recently developed. On the one hand, we consider MCCGS, standing for Minimal Canonical Comprehensive Groebner Systems, a recently introduced computational tool yielding "good" bases for ideals of polynomials over a field depending on several parameters, that specialize "well", for instance, regarding the number of solutions for the given ideal, for different values of the parameters. The second ingredient concerns automatic theorem discovery in elementary geometry. Automatic discovery aims to obtain complementary hypotheses for a (generally false) geometric statement to become true. The paper shows how to use MCCGS for automatic discovering of theorems and gives relevant examples.

Affiliated with

Also associated with

No associations

Rating

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems 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 Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-679927