Article Jullien, Vincent; (2011)
Le Calcul Logique de Roberval (/p/isis/citation/CBB001220639/) 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 (/p/isis/citation/CBB000952864/) unapi

Article Maanen, Jan van; (2006)
Diagrams and Mathematical Reasoning: Some Points, Lines, and Figures (/p/isis/citation/CBB000850085/) unapi

Book Philip Ording; (2019)
99 Variations on a Proof (/p/isis/citation/CBB176394056/) unapi

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

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

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

Book Gabriele Lolli; (2022)
The Meaning of Proofs: Mathematics as Storytelling (/p/isis/citation/CBB293361801/) unapi

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

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

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

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

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

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

Article Grünbaum, Branko; (2012)
Is Napoleon's Theorem Really Napoleon's Theorem? (/p/isis/citation/CBB001211025/) unapi

Article Heukelom, Floris; (2015)
A History of the Allais Paradox (/p/isis/citation/CBB001202248/) unapi

Article Smadja, Ivahn; (2012)
Local Axioms in Disguise: Hilbert on Minkowski Diagrams (/p/isis/citation/CBB001211483/) unapi

Article Christian Greiffenhagen; (2024)
Checking correctness in mathematical peer review (/p/isis/citation/CBB618974991/) unapi

Article Hannah, John; (2007)
False Position in Leonardo of Pisa's Liber Abbaci (/p/isis/citation/CBB000772445/) unapi

Article Karasmanis, Vassilis; (2006)
The Geometrical Method of Hippocrates of Chios (/p/isis/citation/CBB000931349/) unapi