1. Avigad J., Dean E., Mumma J. (2009) A formal system for Euclid’s Elements. The Review of Symbolic Logic 2: 700–768
2. Azzouni J. (2004) Proof and ontology in Euclidean mathematics. In: Kjeldsen T. H., Pederson S. A., Sonne-Hansen L. M. (eds) New trends in the history and philosophy of mathematics. University Press of Southern Denmark, Odense, pp 117–133
3. Burnyeat M. F. (1987) Platonism and mathematics: A prelude to discussion. In: Graeser A. (eds) Mathematics and metaphysics in Aristotle. Haupt, Bern, pp 213–240
4. Cavaing M. et al (1982) Quelques remarques sur le traitement du continu dans les Éléments d’Euclide et la Physique d’Aristote. In: Apéry R. (Ed.), Penser les mathématiques. Éditions du Seuil, Paris, pp 145–166
5. Cavaing M. (1997) La figure et le nombre. Recherches sur les premires mathématiques des Grecs. Presses Universitaires du Septentrion, Villeneuve d’Ascq: Presses Universitaires du Septentrion.