Free software download, over 150.000 software free downloads






GeoProof 0.5beta

The project consist in producing an interactive proof software for geometry.

GeoProof





  • Version:0.5beta
  • Date Added:11/11/2011 9:40:37 PM
  • License:Freeware
  • Price:$0
  • Total Downloads:167
  • Last Week Downloads:1
  • Operating System:Windows Vista/2003/XP/2000/98/Me/NT

Publisher's description

GeoProof This program is an interactive geometry software with proof related features. The project consist in producing an interactive proof software for geometry. GeoProof can communicate with the Coq proof assistant to perform automatic and interactive proofs of geometry theorems. GeoProof is developed mainly by Julien Narboux from a project called DrGeoCaml initiated by Nicolas François. FeaturesDetailed feature list :-five types of Geometric objects : points, lines, circles, vectors and segments -three transformations : central symmetry, translation, and axial symmetry - nine ways to build a point-five ways to build a line -three ways to build a Circle -text labels with dynamic parts which can be the following -Automated theorem proving using

Statement

Please be aware that downloadbee do not supply any crack, patches, serial numbers or keygen for GeoProof,and please consult directly with program authors for any problem with GeoProof.