Mathematics and the formal turn (Q6130523): Difference between revisions

@@ Property / OpenAlex ID @@
+W4391839106
@@ Property / OpenAlex ID: W4391839106 / rank @@
+Normal rank
@@ Property / cites work @@
+Opinion: The Mechanization of Mathematics
@@ Property / cites work: Opinion: The Mechanization of Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+MODULARITY IN MATHEMATICS
@@ Property / cites work: MODULARITY IN MATHEMATICS / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of Dedekind domains and class groups of global fields
+Normal rank
@@ Property / cites work @@
+The resolution of Keller's conjecture
@@ Property / cites work: The resolution of Keller's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Notices of the American Mathematical Society
@@ Property / cites work: Notices of the American Mathematical Society / rank @@
+Normal rank
@@ Property / cites work @@
+The sphere packing problem in dimension \(24\)
@@ Property / cites work: The sphere packing problem in dimension \(24\) / rank @@
+Normal rank
@@ Property / cites work @@
+Advancing mathematics by guiding human intuition with AI
+Normal rank
@@ Property / cites work @@
+Q5097166
@@ Property / cites work: Q5097166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+A corrected quantitative version of the Morse lemma
+Normal rank
@@ Property / cites work @@
+Q4678065
@@ Property / cites work: Q4678065 / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL PROOF OF THE KEPLER CONJECTURE
@@ Property / cites work: A FORMAL PROOF OF THE KEPLER CONJECTURE / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the Kepler conjecture
@@ Property / cites work: A proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q2892718
@@ Property / cites work: Q2892718 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing's Legacy
@@ Property / cites work: Turing's Legacy / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Formal Proofs
@@ Property / cites work: Developments in Formal Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A revision of the proof of the Kepler conjecture
@@ Property / cites work: A revision of the proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Nonlinear Real Formulas Via Sums of Squares
+Normal rank
@@ Property / cites work @@
+Q4619818
@@ Property / cites work: Q4619818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2878076
@@ Property / cites work: Q2878076 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+A verified ODE solver and the Lorenz attractor
@@ Property / cites work: A verified ODE solver and the Lorenz attractor / rank @@
+Normal rank
@@ Property / cites work @@
+Formally verified approximations of definite integrals
+Normal rank
@@ Property / cites work @@
+Q5856420
@@ Property / cites work: Q5856420 / rank @@
+Normal rank