Windows | Games | Mobile | Wallpapers


GeoProof for Linux 0.5beta

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


Last Week downloads: 0
Total downloads: 143
  • Last Updated: Mar 2, 2009
  • License: Freeware Free
  • OS: Linux
  • Requirements: No special requirements

User reviews

0 out of 5 based on 0 ratings for GeoProof for Linux 0.5beta

For GeoProof for Linux 0.5betaPublisher's description


GeoProof for Linux is a Home & Education software developed by Julien Narboux. After our trial and test, the software is proved to be official, secure and free. Here is the official description for GeoProof for Linux:

Edit By BS Editor: 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 for Linux is developed mainly by Julien Narboux from a project called DrGeoCaml initiated by Nicolas Fran├žois.

Detailed 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
you can free download GeoProof for Linux 0.5beta now.

For GeoProof for Linux 0.5betaRelated Software


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