Input (grade 12): For more history, see article on non-Euclidean geometry, and the references Coxeter and Milnor.
Output (grade 12): For more history, see article on non-Euclidean geometry.