An experimental version of GeoGebra
5.0.641.0
A tool that helps discovering internal references in the Bible
2026-03-25
Java Geometry Expert
0.87
A logical proof program
2.2
A system for computing with Tarski formulas and semi-algebraic sets
1.37
