E.T. Bell, "The Development of
Mathematics," Dover Publishing, New York, 1992 (orig. 1945).
[Bel2]
E.T. Bell, "Men of Mathematics," Touchstone
Books, New York, 1986 (orig. 1945).
[CrRG]
H. Crapo, J. Richter-Gebert,
"Automatic proving of geometric theorems,"
in "Invariant Methods in Discrete
and Computational Geometry," Neil White ed.,
Kluwer Academic Publishers,
(1995).
[Cox1]
H.S.M. Coxeter, "Projective Geometry," (2nd ed.)
Springer, New York, Berlin, 1994 (orig. 1963).
[Cox2]
H.S.M. Coxeter, "The Real Projective Plane," (3rd ed.)
Springer, New York, Berlin, 1992 (orig. 1949).
[Gre]
M.J. Greenberg, "Euclidean and non-Euclidean Geometries," (3rd ed.)
Freeman and Company, New York, 1996 (orig. 1974).
[Kl1]
F. Klein, "Development of Mathematics in the 19th Century,"
Math. Sci. Press, 1979 (orig. 1928).
[Kl2]
F. Klein, "Vorlesungen über nicht-euklidische Geometrie,"
Springer, Berlin, reprinted 1968 (orig. 1928).
[KRG]
U. Kortenkamp, J. Richter-Gebert, "Foundations
of Dynamic Geometry,"
in preparation.
[Lab]
J.M. Laborde, "Exploring non-euclidean geometry in a dynamic geometry environment like Cabri-Géomètre,"
in "Geometry Turned On," J. King, D. Schattschneider (eds.),
Math. Assoc. of America, 1997, pp. 185-191.
[RG]
J. Richter-Gebert, "Mechanical theorem proving in projective
geometry,"
Annals of Mathematics and Artificial Intelligence, 13,
1995, pp. 139-172.
[Stru]
D.J. Struik, D.L.Struik,
"A Concise History of Mathematics,"
Dover Publishing, 1987.
[Yag]
I.M. Yaglom,
"Felix Klein and Sophus Lie -
Evolution of the Idea of Symmetry in the Nineteents Century,"
Birkhäuser, Boston, Basel, 1988.