The following pages link to kepler98 (Q35396):
Displaying 50 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Densest geodesic ball packings to \({\mathbf S^2 \times \mathbf R}\) space groups generated by screw motions (Q277029) (← links)
- MizAR 40 for Mizar 40 (Q286800) (← links)
- Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons) (Q306278) (← links)
- The local optimality of the double lattice packing (Q312160) (← links)
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
- A peculiarly cerebroid convex zygo-dodecahedron is an axiomatically balanced ``House of Blues'': the Circle of Fifths to the circle of Willis to cadherin cadenzas (Q350634) (← links)
- Solution of the propeller conjecture in \(\mathbb R^3\) (Q368772) (← links)
- Quasicrystals: the view from Stockholm (Q384275) (← links)
- The set of packing and covering densities of convex disks (Q393741) (← links)
- Sphere packing bounds via spherical codes (Q398996) (← links)
- The 3-ball is a local pessimum for packing (Q400987) (← links)
- Packing congruent hyperspheres into a hypersphere (Q427402) (← links)
- Computer-assisted proof of performance ratios for the differencing method (Q435724) (← links)
- Contact numbers for congruent sphere packings in Euclidean 3-space (Q452008) (← links)
- A candidate for the densest packing with equal balls in Thurston geometries (Q464802) (← links)
- Face-centered cubic crystallization of atomistic configurations (Q495903) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Improved sphere packing lower bounds from Hurwitz lattices (Q549223) (← links)
- Approximation on the Voronoi cells of the \(A_d\) lattice (Q607494) (← links)
- Optimal recovery of isotropic classes of twice-differentiable multivariate functions (Q609738) (← links)
- On a computer-aided approach to the computation of Abelian integrals (Q639965) (← links)
- Upper bound on the packing density of regular tetrahedra and octahedra (Q650113) (← links)
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- Maximum packing densities of basic 3D objects (Q708025) (← links)
- Floating-point arithmetic in the Coq system (Q714617) (← links)
- Towards a proof of the 24-cell conjecture (Q722369) (← links)
- Historical overview of the Kepler conjecture (Q734995) (← links)
- Sphere packings. III: Extremal cases (Q734998) (← links)
- Sphere packings. IV: Detailed bounds (Q734999) (← links)
- Sphere packings. VI: Tame graphs and linear programs (Q735001) (← links)
- Upper bounds on packing density for circular cylinders with high aspect ratio (Q741612) (← links)
- Packings by translation balls in \({\widetilde{{\mathrm {SL}}_2(\mathbb{R})}}\) (Q742521) (← links)
- Guaranteed deterministic approach to superhedging: sensitivity of solutions of the Bellman-Isaacs equations and numerical methods (Q830988) (← links)
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
- Computer-aided proof of Erdős discrepancy properties (Q892235) (← links)
- Towards a new epistemology of mathematics (Q948971) (← links)
- A dense packing of regular tetrahedra (Q958219) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Stochastic protein folding simulation in the three-dimensional HP-model (Q1004918) (← links)
- Three-dimensional random Voronoi tessellations: from cubic crystal lattices to Poisson point processes (Q1012704) (← links)
- The hexagonal parquet tiling: \(k\)-isohedral monotiles with arbitrarily large \(k\). (Q1013673) (← links)
- A survey on spherical designs and algebraic combinatorics on spheres (Q1039420) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Hyperuniform states of matter (Q1653681) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation (Q1663216) (← links)
- A formally verified proof of the central limit theorem (Q1694568) (← links)
