A Computational Proof is a formal mathematical argument that relies on algorithmic computation and symbolic manipulation to verify or establish the truth of a proposition within a rigorously defined computational system.
53
Publications
8.8K
Citations
90
Authors
73
Institutions
Publications per year
2017–2026
4
Parents
Publications
53
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text
A Computing Procedure for Quantification Theory
Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum · 2008 · 477 citations
Formal Proof—The Four- Color Theorem
Georges Gonthier · 2008 · 304 citations
Verification methods: Rigorous results using floating-point arithmetic
Siegfried M. Rump · Acta Numerica · 2010 · 270 citations
1–5 of 53
Authors
90
- DM
2
h-index
- MD
2
h-index
- GN
2
h-index
- JD
2
h-index
- SG
2
h-index
1–5 of 90
Institutions
73
Google (United States)
Mountain View, United States
4 h-index
5 publications
229 citations
University of Edinburgh
Edinburgh, United Kingdom
3 h-index
3 publications
129 citations
University of Wisconsin–Madison
Madison, United States
3 h-index
3 publications
59 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
2 h-index
4 publications
78 citations
Universität Hamburg
Hamburg, Germany
2 h-index
2 publications
281 citations
Weizmann Institute of Science
Rehovot, Israel
2 h-index
3 publications
229 citations
Princeton University
Princeton, United States
2 h-index
2 publications
2.6K citations
The University of Texas at Austin
Austin, United States
2 h-index
8 publications
750 citations
1–8 of 73
Venues
- Communications of the ACM
4 publications · 3.5K citations
4
h-index
- ArXiv.org
Repository · 2 publications · 34 citations
2
h-index
- arXiv (Cornell University)
Repository · 2 publications · 44 citations
2
h-index
- IEEE Annals of the History of Computing
2 publications · 138 citations
2
h-index
- HAL (Le Centre pour la Communication Scientifique Directe)
Repository · 2 publications · 52 citations
2
h-index
1–5