Proof in the time of machines

Andrew Granville

Type: Preprint

Publication Date: 2023-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.2305.02329

Similar Works

Action	Title	Year	Authors
+	Computer-assisted proofs	2006
+	Computer-assisted proofs in analysis	1984	Oscar E. Lanford
+ PDF Chat	On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods	2021	Jeffrey Uhlmann Jie Wang
+	Beyond Computers: The Sociology of Mathematical Proof	2011	Steven G. Krantz
+	Memoirs of a Proof Theorist	2003	Mariko Yasugi Nicholas Passell
+	A study on proof in a community of mathematical practice	2011	Kirsti Hemmi
+	In the Eye of the Beholder: Which Proofs are Best?	2020	Stefan Borgwardt Anke Hirsch Alisa Kovtunova Frederik Wiehr
+	About Proofs and Proof Strategies	2019	Gove Effinger Gary L. Mullen
+	Practice with Proofs	2020	Craig P. Bauer
+	Computer-Assited Proofs in Dynamics	2020	Aaron Fernández Pinto
+	The Role of Proof in Problem Solving	2016	Alan H. Schoenfeld Alan H. Sloane
+	On Proof Techniques and Technology	2007	Ma. Louise Antonette N. De Las Peñas Debbie Bautista
+	Proof Theory in Computer Science	2001	Reinhard Kähle Peter Schroeder‐Heister Robert F. Stärk
+	Proof systems	2023	George Metcalfe Francesco Paoli Constantine Tsinakis
+	Psychological Nature of Verification of Informal Mathematical Proofs.	2005	Patrick Suppes
+	The Art of Formal Proof	2024	Robert Y. Lewis
+	Investigating Provers' Understandings of Combinatorial Proof	2020	Sarah A. Erickson
+	Computers and the Sociology of Mathematical Proof	2006	Donald MacKenzie
+	On the design of calculational proofs	1994	Edsger W. Dijkstra
+	Mechanizing Proof	2001	Donald Mackenzie

Action	Title	Year	Authors

Action	Title	Year	Authors