Checking Proofs (Q2950035): Difference between revisions

@@ Property / cites work @@
+Every planar map is four colorable. II: Reducibility
+Normal rank
@@ Property / cites work @@
+Q4826724
@@ Property / cites work: Q4826724 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical method and proof
@@ Property / cites work: Mathematical method and proof / rank @@
+Normal rank
@@ Property / cites work @@
+The Derivation-Indicator View of Mathematical Practice
+Normal rank
@@ Property / cites work @@
+The surveyability of mathematical proof: A historical perspective
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Intentional gaps in mathematical proofs
@@ Property / cites work: Intentional gaps in mathematical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075247
@@ Property / cites work: Q3075247 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the Kepler conjecture
@@ Property / cites work: A proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302558
@@ Property / cites work: Q5302558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259107
@@ Property / cites work: Q3259107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302560
@@ Property / cites work: Q5302560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618853
@@ Property / cites work: Q3618853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3154457
@@ Property / cites work: Q3154457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4950491
@@ Property / cites work: Q4950491 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274311
@@ Property / cites work: Q4274311 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis
+Normal rank
@@ Property / cites work @@
+A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
+Normal rank
@@ Property / cites work @@
+The four-colour theorem
@@ Property / cites work: The four-colour theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Obvious inferences
@@ Property / cites work: Obvious inferences / rank @@
+Normal rank
@@ Property / cites work @@
+System for Automated Deduction (SAD): A Tool for Proof Verification
+Normal rank
@@ Property / cites work @@
+Toward Mechanical Mathematics
@@ Property / cites work: Toward Mechanical Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302561
@@ Property / cites work: Q5302561 / rank @@
+Normal rank