Theorems for a price: Tomorrow's semi-rigorous mathematical culture (Q1343655): Difference between revisions

@@ Property / Wikidata QID @@
+Q115927998
@@ Property / Wikidata QID: Q115927998 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/9301202
@@ Property / arXiv ID: math/9301202 / rank @@
+Normal rank
@@ Property / cites work @@
+“Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
+Normal rank
@@ Property / cites work @@
+A very short proof of Dixon's theorem
@@ Property / cites work: A very short proof of Dixon's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A purely verification proof of the first Rogers-Ramanujan identity
+Normal rank
@@ Property / cites work @@
+Q4230322
@@ Property / cites work: Q4230322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230321
@@ Property / cites work: Q4230321 / rank @@
+Normal rank
@@ Property / cites work @@
+The Godel Incompleteness Theorem from a Length-of-Proof Perspective
+Normal rank
@@ Property / cites work @@
+Combinatorial problems of commutation and rearrangements
+Normal rank
@@ Property / OpenAlex ID @@
+W2005015868
@@ Property / OpenAlex ID: W2005015868 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1343655