Using Automatic Theorem Proving to Improve the Usability of Geometry Software

@inproceedings{Kortenkamp2004UsingAT,
  title={Using Automatic Theorem Proving to Improve the Usability of Geometry Software},
  author={Ulrich Kortenkamp and J{\"u}rgen Richter-Gebert},
  year={2004}
}
Dynamic or interactive Geometry software (DGS) is the mathematical version of vector based drawing software: the objects (points, lines, circles, conics, polygons, etc.) are both graphical and mathematical entities. This allows adding relations between the objects that govern their behavior. Thus, DGS is used as an input tool for constructions , as opposed to simple drawings. The additional information that is present in a construction can be used to greatly enhance the usability of DGS. We… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 23 extracted citations

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Fŕ ed́eric Guilhot, and Löıc Pottier,Visualizing geometrical statements with GeoView

  • Yves Bertot
  • inria.fr/lemme/geoview/geoview.ps
  • 2004
Highly Influential
3 Excerpts

Schwartz , Probabilistic algorithms for verification of polynomial identities . , Symbolic and algebraic computation , EUROSAM ’ 79 , int . Symp . , Marseille 1979 , Lect

  • T. Jacob
  • Notes Comput . Sci .
  • 2003

Valcarce , A dynamicsymbolic interface for geometric theorem discovery

  • Francisco Botana, L. José
  • Lecture Notes in Computer Science
  • 2003

Geometry II Plus User Manual

  • Eric Bainville, Cabri
  • Cabrilog,
  • 2002

Automated deduction in geometry , 4 th international workshop , adg 2002 , hagenberg castle , austria , september 4 - 6 , 2002 , revised papers , Lecture Notes in

  • Franz Winkler
  • Computer Science
  • 1997

Similar Papers

Loading similar papers…