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).
[Kor]
U. Kortenkamp, "Foundations of Dynamic Geometry," Ph. D.
thesis, ETH Zürich, 1999.
[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.), MAA, 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.