OpenEuclide Plane geometry software: figures are defined dynamically by describing formal geometrical constraints
Download

OpenEuclide Ranking & Summary

OpenEuclide Tags

metadata describing 2D Geometry geometrical plane analytical geometry 2D geometry draw figure plane drawing multi-formal constraints edit formal specification Formal Concept Analysis geometry software Formal Concept miner Theory of Constraints Software

OpenEuclide Description

OpenEuclide is a useful 2D geometry application where figures are defined dynamically by describing formal geometrical constraints. It can produce exact figures. A figure is built by adding objects one by one. This project is a basic tool for educational or modeling purpose.

OpenEuclide Related Software