
ET7246  Geometry and Trigonometry
Dr. David R. Wilkins
Resources for the study of the History of Geometry and Trigonometry

Automated Theorem Proving
 Herbert Gelernter, Realization of a Geometry TheoremProving Machine
 In Proceedings of the International Conference Information Processing, pp. 273–282, Paris, June 15–20, 1959.
(Available on the semanticscholar.org website).
Fractal Geometry
 Exploring the Mandelbrot set. The Orsay Notes (Adrien Douady and John H. Hubbard)
 These notes exemplify the type of research undertaken by
pure mathematicians when studying the geometry and topology
of fractal sets such as the Mandelbrot set.
Formal Proof and the Development of Mathematics
 Archive of Mathsy State Exams Papers
 Compiled by David Malone and Hazel Murray, Hamilton Institute,
Maynooth University
Formal Proof and the Development of Mathematics
 William P. Thurston, On Proof and Progress in Mathematics
 This article, by William P. Thurston (19462012), appeared in
the Bulletin of the American Mathematical Society,
Volume 30, Number 2, April 1994, 161–177.
Dr. David R. Wilkins,
School of Mathematics,
Trinity College Dublin.