The surveyability of long proofs (Q2271073): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10699-008-9145-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2114522105
@@ Property / OpenAlex ID: W2114522105 / rank @@
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. II: Reducibility
+Normal rank
@@ Property / cites work @@
+Q4315105
@@ Property / cites work: Q4315105 / rank @@
+Normal rank
@@ Property / cites work @@
+The surveyability of mathematical proof: A historical perspective
+Normal rank
@@ Property / cites work @@
+Quadratic Reciprocity in a Finite Group
@@ Property / cites work: Quadratic Reciprocity in a Finite Group / rank @@
+Normal rank
@@ Property / cites work @@
+Q3669333
@@ Property / cites work: Q3669333 / rank @@
+Normal rank
@@ Property / cites work @@
+How to Write a Proof
@@ Property / cites work: How to Write a Proof / rank @@
+Normal rank
@@ Property / cites work @@
+What is good mathematics?
@@ Property / cites work: What is good mathematics? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376878
@@ Property / cites work: Q4376878 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular elliptic curves and Fermat's Last Theorem
@@ Property / cites work: Modular elliptic curves and Fermat's Last Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240229
@@ Property / cites work: Q3240229 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2271073