BEESON, MICHAEL 2016. CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE. The Bulletin of Symbolic Logic, Vol. 22, Issue. 01, p. 1.
Negri, Sara 2016. Proof analysis beyond geometric theories: from rule systems to systems of rules. Journal of Logic and Computation, Vol. 26, Issue. 2, p. 513.
Beeson, Michael 2015. A constructive version of Tarski's geometry. Annals of Pure and Applied Logic, Vol. 166, Issue. 11, p. 1199.
Botana, Francisco Hohenwarter, Markus Janičić, Predrag Kovács, Zoltán Petrović, Ivan Recio, Tomás and Weitzhofer, Simon 2015. Automated Theorem Proving in GeoGebra: Current Achievements. Journal of Automated Reasoning, Vol. 55, Issue. 1, p. 39.
Chen, Xiaoyu Song, Dan and Wang, Dongming 2015. Automated generation of geometric theorems from images of diagrams. Annals of Mathematics and Artificial Intelligence, Vol. 74, Issue. 3-4, p. 333.
Ðurđević, Sana Stojanović Narboux, Julien and Janičić, Predrag 2015. Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry. Annals of Mathematics and Artificial Intelligence, Vol. 74, Issue. 3-4, p. 249.
DYCKHOFF, ROY and NEGRI, SARA 2015. GEOMETRISATION OF FIRST-ORDER LOGIC. The Bulletin of Symbolic Logic, Vol. 21, Issue. 02, p. 123.
van Bendegem, Jean Paul 2014. Inconsistency in mathematics and the mathematics of inconsistency. Synthese, Vol. 191, Issue. 13, p. 3063.
Hamami, Yacin and Mumma, John 2013. Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning. Journal of Logic, Language and Information, Vol. 22, Issue. 4, p. 421.
Feferman, Solomon 2012. And so on . . . : reasoning with infinite diagrams. Synthese, Vol. 186, Issue. 1, p. 371.
Marić, Filip Petrović, Ivan Petrović, Danijela and Janičić, Predrag 2012. Formalization and Implementation of Algebraic Methods in Geometry. Electronic Proceedings in Theoretical Computer Science, Vol. 79, p. 63.
Mumma, John 2012. Constructive geometrical reasoning and diagrams. Synthese, Vol. 186, Issue. 1, p. 103.
Panza, Marco 2012. The twofold role of diagrams in Euclid’s plane geometry. Synthese, Vol. 186, Issue. 1, p. 55.
ACHOURIOTI, T. and VAN LAMBALGEN, M. 2011. A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC. The Review of Symbolic Logic, Vol. 4, Issue. 02, p. 254.
We present a formal system, E, which provides a faithful model of the proofs in Euclid’s Elements, including the use of diagrammatic reasoning.
This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.