Typically geometry software covers a wide range of application areas, including pure Euclidean and non-Euclidean geometry, computer-aided design, and computational kinematics.
Read more
Tag: geometry
SnapPy – Study the Topology and Geometry of 3-Manifolds
SnapPy is a topology and geometry program for studying hyperbolic 3-manifolds, knots and links with interactive 3D visualisation.
Read more
GCLC – mathematical illustrations and automated geometry theorem proving
GCLC creates mathematical illustrations and proves geometry theorems, with Qt GUI, command-line and web interfaces plus LaTeX and SVG export.
Read more
JGEX – dynamic geometry and automated theorem proving
JGEX combines dynamic geometry constructions with automated theorem proving and visual presentation of Euclidean geometry proofs.
Read more
SINGULAR – computer algebra for polynomial computations
SINGULAR is a computer algebra system for polynomial computations, Gröbner bases, ideals, modules and algebraic geometry research.
Read more
Geometria – interactive solid geometry problem solving
Geometria is a browser-based application for solving solid geometry problems through interactive polyhedra, measurements and proofs.
Read more
Kig – interactive geometry and mathematical constructions
Kig lets students and teachers explore dynamic geometry with interactive constructions, transformations, macros and mathematical diagrams.
Read more
Geomview – interactive 3D geometry viewer
Geomview is a legacy 3D geometry viewer for mathematical research, supporting interactive objects, cameras and higher dimensions.
Read more
C.a.R. – dynamic compass and ruler geometry
C.a.R. explores dynamic compass-and-ruler geometry with movable points, macros, transformations, curves and animated constructions.
Read more
GeoGebra – interactive mathematics and geometry software
GeoGebra offers interactive graphing, geometry, algebra and 3D visualisation, but the complete product has non-commercial restrictions.
Read more
Dr. Geo – interactive geometry with Smalltalk scripting
Dr. Geo offers interactive geometric sketches, dynamic constructions and Smalltalk scripting for teaching, exploration and programming.
Read more
polymake – software for research in polyhedral geometry
polymake offers specialised computations and visualisation for polytopes, polyhedra, graphs, matroids and tropical geometry.
Read more
Macaulay2 – computer algebra for algebraic geometry
Macaulay2 supports research in algebraic geometry with polynomial rings, Gröbner bases, resolutions, modules and extensible packages.
Read more