Pages that link to "Item:Q5280247"

The following pages link to A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247):

Displaying 49 items.

• Guaranteed deterministic approach to superhedging: sensitivity of solutions of the Bellman-Isaacs equations and numerical methods (Q830988) (← links)
• The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
• Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (Q1733314) (← links)
• Single-sized spheres on surfaces (S4) (Q2020351) (← links)
• Machine learning guidance for connection tableaux (Q2031418) (← links)
• Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
• Towards the automatic mathematician (Q2055841) (← links)
• Techniques and results on approximation algorithms for packing circles (Q2082050) (← links)
• Bayesian ranking for strategy scheduling in automated theorem provers (Q2104545) (← links)
• Automatic generation of statistical volume elements using multibody dynamics and an erosion-based homogenization method (Q2133882) (← links)
• Crystallographic texture and group representations (Q2154727) (← links)
• From LCF to Isabelle/HOL (Q2280211) (← links)
• Phase field approach to optimal packing problems and related Cheeger clusters (Q2301677) (← links)
• Sphere packing and quantum gravity (Q2303146) (← links)
• Formalization of geometric algebra in HOL Light (Q2323452) (← links)
• First steps towards a formalization of forcing (Q2333671) (← links)
• A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
• A fully automatic theorem prover with human-style output (Q2362206) (← links)
• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
• High-dimensional sphere packing and the modular bootstrap (Q2660222) (← links)
• Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
• Reliability of mathematical inference (Q2695405) (← links)
• Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems (Q2835688) (← links)
• Mathematics Education in the Computational Age: Challenges and Opportunities (Q3298023) (← links)
• An introduction to univalent foundations for mathematicians (Q4684362) (← links)
• Metrically homogeneous graphs of diameter 3 (Q4991900) (← links)
• Dual linear programming bounds for sphere packing via modular forms (Q5018380) (← links)
• (Q5028488) (← links)
• Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473) (← links)
• Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL (Q5094474) (← links)
• Placing your Coins on a Shelf (Q5136217) (← links)
• Varieties of mathematical understanding (Q5860471) (← links)
• Primitive Floats in Coq (Q5875413) (← links)
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
• (Q5875423) (← links)
• (Q5875442) (← links)
• A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture (Q5883707) (← links)
• A proof system for graph (non)-isomorphism verification (Q5883756) (← links)
• The foundations of spectral computations via the solvability complexity index hierarchy (Q6064883) (← links)
• A formalised theorem in the partition calculus (Q6073894) (← links)
• Density of triangulated ternary disc packings (Q6110078) (← links)
• What is the point of computers? A question for pure mathematicians (Q6118162) (← links)
• The work of Maryna Viazovska (Q6119204) (← links)
• Mathematics and the formal turn (Q6130523) (← links)
• Abstraction boundaries and spec driven development in pure mathematics (Q6130524) (← links)
• Strange new universes: Proof assistants and synthetic foundations (Q6130525) (← links)
• From sphere packing to Fourier interpolation (Q6139808) (← links)
• The formal verification of the ctm approach to forcing (Q6151819) (← links)
• A quantitative stability result for the sphere packing problem in dimensions 8 and 24 (Q6203237) (← links)