NonEuclid is an Interactive Java Software for Creating Ruler and Compass Constructions in both the Poincaré Disk and the Upper Half-Plane Models of Hyperbolic Geometry.
NonEuclid allows the curious explorer to gain experience in Hyperbolic Geometry and to empirically investigate questions such as: "In Hyperbolic Geometry, are the base angles of an isosceles triangle congruent?"
The NonEuclid software and documentation are accessible to anyone with high school level geometry.
Aside from being interesting in itself, a study of Hyperbolic geometry can, through its novelty, enable a deeper understanding of a formal proof.
Hyperbolic Geometry also has practical aspects such as orbit prediction of objects within intense gradational fields. Hyperbolic Geometry is used in Einstein's General Theory of Relativity and Curved Hyperspace.