GeoProof for LinuxThe project consist in producing an interactive proof software for geometry. | |
Download |
GeoProof for Linux Ranking & Summary
Advertisement
- License:
- Freeware
- Publisher Name:
- Julien Narboux
- Publisher web site:
- Operating Systems:
- Linux
- File Size:
- 25.19MB
GeoProof for Linux Tags
GeoProof for Linux Description
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. Features 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
GeoProof for Linux Related Software