Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Mumma, John
2010.
Proofs, pictures, and Euclid.
Synthese,
Vol. 175,
Issue. 2,
p.
255.
ACHOURIOTI, T.
and
VAN LAMBALGEN, M.
2011.
A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC.
The Review of Symbolic Logic,
Vol. 4,
Issue. 2,
p.
254.
Stojanović, Sana
Pavlović, Vesna
and
Janičić, Predrag
2011.
Automated Deduction in Geometry.
Vol. 6877,
Issue. ,
p.
201.
Mumma, John
2011.
Le rôle du contenu géométrique dans le raisonnement diagrammatique d'Euclide.
Les Études philosophiques,
Vol. n° 97,
Issue. 2,
p.
243.
Panza, Marco
2012.
The twofold role of diagrams in Euclid’s plane geometry.
Synthese,
Vol. 186,
Issue. 1,
p.
55.
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,
Issue. ,
p.
63.
Mumma, John
2012.
Constructive geometrical reasoning and diagrams.
Synthese,
Vol. 186,
Issue. 1,
p.
103.
Feferman, Solomon
2012.
And so on . . . : reasoning with infinite diagrams.
Synthese,
Vol. 186,
Issue. 1,
p.
371.
Braun, Gabriel
and
Narboux, Julien
2013.
Automated Deduction in Geometry.
Vol. 7993,
Issue. ,
p.
89.
Beeson, Michael
2013.
Automated Deduction in Geometry.
Vol. 7993,
Issue. ,
p.
1.
Stojanović, Sana
2013.
Automated Deduction in Geometry.
Vol. 7993,
Issue. ,
p.
181.
Weber, Zach
2013.
Visual Reasoning with Diagrams.
p.
153.
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.
Farooq, Binyameen
Hasan, Osman
and
Iqbal, Sohail
2013.
Formal Methods and Software Engineering.
Vol. 8144,
Issue. ,
p.
347.
Cellucci, Carlo
2013.
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.
Vol. 1,
Issue. ,
p.
347.
Rodin, Andrei
2014.
Axiomatic Method and Category Theory.
Vol. 364,
Issue. ,
p.
149.
Stojanović, Sana
Narboux, Julien
Bezem, Marc
and
Janičić, Predrag
2014.
Intelligent Computer Mathematics.
Vol. 8543,
Issue. ,
p.
388.
Rodin, Andrei
2014.
Axiomatic Method and Category Theory.
Vol. 364,
Issue. ,
p.
39.
Sidoli, Nathan
2014.
From Alexandria, Through Baghdad.
p.
25.
Rodin, Andrei
2014.
Axiomatic Method and Category Theory.
Vol. 364,
Issue. ,
p.
265.