kepler98 - MaRDI portal

Cited in

(only showing first 100 items - show all)

The set of packing and covering densities of convex disks
Combined Decision Techniques for the Existential Theory of the Reals
A Note on Lattice Packings via Lattice Refinements
On the hard sphere model and sphere packings in high dimensions
Towards a new epistemology of mathematics
Exploiting symmetries in polyhedral computations
Flyspeck II: The basic linear programs
Glass phenomenology in the hard matrix model
Sphere packing and quantum gravity
Sphere packing bounds via spherical codes
Spontaneous periodic orbits in the Navier-Stokes flow
Verification of dynamic bisimulation theorems in Coq
The future of logic: foundation-independence
Density of binary disc packings: playing with stoichiometry
Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
Bayesian ranking for strategy scheduling in automated theorem provers
Density of binary disc packings: the nine compact packings
Guaranteed deterministic approach to superhedging: sensitivity of solutions of the Bellman-Isaacs equations and numerical methods
On computer-assisted proving the existence of periodic and bounded orbits
Packing twelve spherical caps to maximize tangencies
Enumerating rigid sphere packings
Cannonballs and honeycombs.
Optimal recovery of isotropic classes of twice-differentiable multivariate functions
A formal proof of Cauchy's residue theorem
FindFacts
SErAPIS
The CADE-26 automated theorem proving system competition -- CASC-26
A computer approach to determine the densest translative tetrahedron packings
Retrieving geometric information from images: the case of hand-drawn diagrams
An extremal property of the hexagonal lattice
Face-centered cubic crystallization of atomistic configurations
Towards a proof of the 24-cell conjecture
A semidefinite programming hierarchy for packing problems in discrete geometry
Perfect, strongly eutactic lattices are periodic extreme
Sphere packings. III: Extremal cases
Formalizing ordinal partition relations using Isabelle/HOL
Densest geodesic ball packings to \({\mathbf S^2 \times \mathbf R}\) space groups generated by screw motions
A proof system for graph (non)-isomorphism verification
First steps towards a formalization of forcing
A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
Global dynamics in nonconservative nonlinear Schrödinger equations
An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
Efficient algorithm for optimizing spectral partitions
A candidate for the densest packing with equal balls in Thurston geometries
Packing identical spheres into a cylinder
Linear Programs for the Kepler Conjecture
Crystallization to the square lattice for a two-body potential
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
Polynomial-sized topological approximations using the permutahedron
scientific article; zbMATH DE number 7649964 (Why is no real title available?)
Extensional higher-order paramodulation in Leo-III
Locally optimal 2-periodic sphere packings
Principal component analysis of persistent homology rank functions with case studies of spatial point patterns, sphere packing and colloids
Selected open problems in discrete geometry and optimization
Proof checking and logic programming
Computer tools for solving mathematical problems: a review
Foreword to the special focus on formal proofs for mathematics and computer science
Computer-assisted proof of performance ratios for the differencing method
Packing congruent hyperspheres into a hypersphere
A fully automatic theorem prover with human-style output
Proof checking and logic programming
Certification of real inequalities: templates and sums of squares
The challenge of computer mathematics
Computational discrete geometry
Upper bounds on packing density for circular cylinders with high aspect ratio
Exact solution of sparse linear systems via left-looking roundoff-error-free Lu factorization in time proportional to arithmetic work
Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
A formal proof of the Kepler conjecture
Automorphisms of modular lattices
Primitive Floats in Coq
Formalizing a fragment of combinatorics on words
Theorem of three circles in Coq
Kähler packings and Seshadri constants on projective complex surfaces
scientific article; zbMATH DE number 7649979 (Why is no real title available?)
A note on Schwartz functions and modular forms
Automatic generation of statistical volume elements using multibody dynamics and an erosion-based homogenization method
Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach
On packing \(\mathbb R^3\) with thin tori
Compact packings of space with two sizes of spheres
Computing spectral measures and spectral types
The hexagonal parquet tiling: \(k\)-isohedral monotiles with arbitrarily large \(k\).
A certificate-based approach to formally verified approximations
On a generalization of Craig lattices
Internal guidance for Satallax
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)
Discrete Fourier analysis on a dodecahedron and a tetrahedron
Algorithm 1021: SPEX Left LU, Exactly Solving Sparse Linear Systems via a Sparse Left-looking Integer-preserving LU Factorization
Eigenfunctions of the Fourier transform with specified zeros
Optimal and non-optimal lattices for non-completely monotone interaction potentials
Limit theory of combinatorial optimization for random geometric graphs
The Besicovitch covering lemma and maximal functions
Machine learning guidance for connection tableaux
Efficient formal verification of bounds of linear programs
Contact numbers for congruent sphere packings in Euclidean 3-space
Self-similar singularity of a 1D model for the 3D axisymmetric Euler equations
Computer-assisted proofs in PDE: a survey
Cell shape analysis of random tessellations based on Minkowski tensors
The dodecahedral conjecture
Category-based co-generation of seminal concepts and results in algebra and number theory: containment-division and Goldbach rings
Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation

This page was built for software: kepler98