The following pages link to kepler98 (Q35396):
Displayed 50 items.
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (Q1733314) (← links)
- Polynomial-sized topological approximations using the permutahedron (Q1739197) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- Globally optimized packings of non-uniform size spheres in \(\mathbb {R}^{d}\): a computational study (Q1749785) (← links)
- On percolation of two-dimensional hard disks (Q1799450) (← links)
- The HOL Light theory of Euclidean space (Q1945903) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- On a generalization of Craig lattices (Q1953836) (← links)
- Perfect, strongly eutactic lattices are periodic extreme (Q1959669) (← links)
- Automorphisms of modular lattices (Q1996079) (← links)
- Principal component analysis of persistent homology rank functions with case studies of spatial point patterns, sphere packing and colloids (Q1999944) (← links)
- The Besicovitch covering lemma and maximal functions (Q2002508) (← links)
- Long shortest vectors in low dimensional lattices (Q2005735) (← links)
- Formalizing a fragment of combinatorics on words (Q2011632) (← links)
- Packing twelve spherical caps to maximize tangencies (Q2016417) (← links)
- Foreword to the special focus on formal proofs for mathematics and computer science (Q2018656) (← links)
- Single-sized spheres on surfaces (S4) (Q2020351) (← links)
- Crystallization to the square lattice for a two-body potential (Q2021752) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
- Compact packings of space with two sizes of spheres (Q2022627) (← links)
- Computing spectral measures and spectral types (Q2025634) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Compact packings of the plane with three sizes of discs (Q2046442) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Limit theory of combinatorial optimization for random geometric graphs (Q2075326) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- Techniques and results on approximation algorithms for packing circles (Q2082050) (← links)
- Density of binary disc packings: playing with stoichiometry (Q2102691) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- Bayesian ranking for strategy scheduling in automated theorem provers (Q2104545) (← links)
- Density of binary disc packings: the nine compact packings (Q2118217) (← links)
- Automatic generation of statistical volume elements using multibody dynamics and an erosion-based homogenization method (Q2133882) (← links)
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach (Q2136229) (← links)
- A note on Schwartz functions and modular forms (Q2187420) (← links)
- Asymptotic optimality of the triangular lattice for a class of optimal location problems (Q2244074) (← links)
- Optimality of the triangular lattice for a particle system with Wasserstein interaction (Q2249444) (← links)
- On packing \(\mathbb R^3\) with thin tori (Q2249477) (← links)
- Optimal \(N\)-point configurations on the sphere: ``magic'' numbers and Smale's 7th problem (Q2254910) (← links)
- Pessimal packing shapes (Q2260556) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Locally optimal 2-periodic sphere packings (Q2283118) (← links)
- Optimal and non-optimal lattices for non-completely monotone interaction potentials (Q2285001) (← links)
- Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition (Q2288982) (← links)
- Phase field approach to optimal packing problems and related Cheeger clusters (Q2301677) (← links)
- Sphere packing and quantum gravity (Q2303146) (← links)
- Exponential improvements for superball packing upper bounds (Q2308311) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Formalization of geometric algebra in HOL Light (Q2323452) (← links)
- An extremal property of the hexagonal lattice (Q2328729) (← links)