Article Jullien, Vincent; (2011)
Le Calcul Logique de Roberval unapi

Article Lützen, Jesper; (2010)
The Algebra of Geometric Impossibility: Descartes and Montucla on the Impossibility of the Duplication of the Cube and the Trisection of the Angle unapi

Article Maanen, Jan van; (2006)
Diagrams and Mathematical Reasoning: Some Points, Lines, and Figures unapi

Book Philip Ording; (2019)
99 Variations on a Proof unapi

Article Lorenat, Jemma; (2012)
Not Set in Stone: Nineteenth-Century Geometrical Constructions and the Malfatti Problem unapi

Article Favio Ezequiel Miranda Perea; Lourdes del Carmen González Huesca; (2023)
On Conceptual changes in Computer Assisted Proofs unapi

Article Andrea Del Centina; Alessandra Fiocca; (2021)
The chords theorem recalled to life at the turn of the eighteenth century unapi

Book Gabriele Lolli; (2022)
The Meaning of Proofs: Mathematics as Storytelling unapi

Article Centrone, Stefania; (2012)
Strenge Beweise und das Verbot der metábasis eis állo génos unapi

Article Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” unapi

Article Lützen, Jesper; (2009)
Why Was Wantzel Overlooked for a Century? The Changing Importance of an Impossibility Result unapi

Article Dick, Stephanie; (2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration unapi

Article Abeles, Francine F.; (2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees unapi

Article Cox, David A.; (2011)
Why Eisenstein Proved the Eisenstein Criterion and Why Schönemann Discovered It First unapi

Article Grünbaum, Branko; (2012)
Is Napoleon's Theorem Really Napoleon's Theorem? unapi

Article Heukelom, Floris; (2015)
A History of the Allais Paradox unapi

Article Smadja, Ivahn; (2012)
Local Axioms in Disguise: Hilbert on Minkowski Diagrams unapi

Article Christian Greiffenhagen; (2024)
Checking correctness in mathematical peer review unapi

Article Hannah, John; (2007)
False Position in Leonardo of Pisa's Liber Abbaci unapi

Article Karasmanis, Vassilis; (2006)
The Geometrical Method of Hippocrates of Chios unapi