GeoProver - a package for mechanized plane geometry manipulations - Maple Application Center
Application Center Applications GeoProver - a package for mechanized plane geometry manipulations

GeoProver - a package for mechanized plane geometry manipulations

Author
: Hans-Gert Gräbe
Engineering software solutions from Maplesoft
This Application runs in Maple. Don't have Maple? No problem!
 Try Maple free for 15 days!
This is a package for formally proving statements of plane geometry. It may be surprising that tedious but mostly straightforward manipulations of the algebraic counterparts of geometric statements allow to prove many theorems in geometry with even ingenious "true geometric" proofs. With the help of a Computer Algebra System supporting algebraic manipulations this approach obtains new power. The method is not automatic, since one often needs a good feeling how to encode a problem efficiently, but mechanized in the sense that one can develop a tool box to support this encoding and some very standard tools to derive a (mathematically strong !) proof from these encoded data.

Application Details

Publish Date: June 18, 2001
Created In: Maple 8
Language: English

Tags

geometry

More Like This

Comparison of Multivariate Optimization Methods

Parabolic Reflectors and the Ideal Flashlight
Animation of Dudeney's Dissection Transforming an Equilateral Triangle to a Square
Classroom Tips and Techniques: Sliders for Parameter-Dependent Curves
Pascal's triangle and its relationship to the Fibonacci sequence
Rectification of the Circular Arc by Cochleoidal Curve Construction
QUATERNION ALGEBRAS