The death of proof? Semi-rigorous mathematics? You've got to be kidding! (Q1343656): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115927998
@@ Property / Wikidata QID: Q115927998 / 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 / cites work @@
+Plane partitions. V: The TSSCPP conjecture
@@ Property / cites work: Plane partitions. V: The TSSCPP conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4310745
@@ Property / cites work: Q4310745 / rank @@
+Normal rank
@@ Property / cites work @@
+A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares
+Normal rank
@@ Property / cites work @@
+Pi, Euler Numbers, and Asymptotic Expansions
@@ Property / cites work: Pi, Euler Numbers, and Asymptotic Expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Functions Certify Combinatorial Identities
+Normal rank
@@ Property / cites work @@
+The method of creative telescoping
@@ Property / cites work: The method of creative telescoping / rank @@
+Normal rank
@@ Property / cites work @@
+Q3588135
@@ Property / cites work: Q3588135 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of the alternating sign matrix conjecture
@@ Property / cites work: Proof of the alternating sign matrix conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Andrews' \(q\)-Dyson conjecture
@@ Property / cites work: A proof of Andrews' \(q\)-Dyson conjecture / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf03024696
+Normal rank
@@ Property / OpenAlex ID @@
+W2005015868
@@ Property / OpenAlex ID: W2005015868 / rank @@
+Normal rank