NonEuclid
(Non-Euclidean Geometry): An interactive simulation of the Poincaré Model of
Hyperbolic Geometry for use in high school and undergraduate education.

Geometry
of the Sphere: Material covered includes basic information about spheres, proof and
consequences of Girard's Theorem, and a proof of Euler's Formula.