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

@@ 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