(kovzol-particio)
Java Geometry Expert
A tool that helps discovering internal references in the Bible
A logical proof program
A system for computing with Tarski formulas and semi-algebraic sets
An experimental version of GeoGebra
