The challenge of computer mathematics (Q5301849): Difference between revisions

@@ Property / DOI @@
-.1098/rsta.2005.1650
@@ Property / DOI: 10.1098/rsta.2005.1650 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1098/rsta.2005.1650
+Normal rank
@@ Property / OpenAlex ID @@
+W2140583545
@@ Property / OpenAlex ID: W2140583545 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q33224075
@@ Property / Wikidata QID: Q33224075 / rank @@
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. I: Discharging
+Normal rank
@@ Property / cites work @@
+Q4826724
@@ Property / cites work: Q4826724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751370
@@ Property / cites work: Q2751370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246942
@@ Property / cites work: Q4246942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4377762
@@ Property / cites work: Q4377762 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237309
@@ Property / cites work: Q4237309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736392
@@ Property / cites work: Q4736392 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Riemann's hypothesis and tests for primality
@@ Property / cites work: Riemann's hypothesis and tests for primality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4340879
@@ Property / cites work: Q4340879 / rank @@
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. II: Reducibility
+Normal rank
@@ Property / cites work @@
+How to Write a Proof
@@ Property / cites work: How to Write a Proof / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+Q4391214
@@ Property / cites work: Q4391214 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / DOI @@
+.1098/RSTA.2005.1650
@@ Property / DOI: 10.1098/RSTA.2005.1650 / rank @@
+Normal rank