kepler98
From MaRDI portal
Kepler98
Cited in
(only showing first 100 items - show all)- Stochastic protein folding simulation in the three-dimensional HP-model
- Three-dimensional random Voronoi tessellations: from cubic crystal lattices to Poisson point processes
- The hexagonal parquet tiling: \(k\)-isohedral monotiles with arbitrarily large \(k\).
- A survey on spherical designs and algebraic combinatorics on spheres
- Proof assistants: history, ideas and future
- COLAMD
- Givaro
- LinBox
- MPFI
- ARQMath
- SLEDGE
- SLEIGN2
- Isabelle/Isar
- SLEIGN
- Hyperuniform states of matter
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation
- Isar
- QSopt_ex
- A formally verified proof of the central limit theorem
- Isabelle/ZF
- QSopt-Exact
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials
- Polynomial-sized topological approximations using the permutahedron
- Retrieving geometric information from images: the case of hand-drawn diagrams
- Globally optimized packings of non-uniform size spheres in \(\mathbb {R}^{d}\): a computational study
- On percolation of two-dimensional hard disks
- HOL Light
- C-CoRN
- Automath
- The HOL Light theory of Euclidean space
- ATP and presentation service for Mizar formalizations
- On a generalization of Craig lattices
- Perfect, strongly eutactic lattices are periodic extreme
- jSpin
- Automorphisms of modular lattices
- Principal component analysis of persistent homology rank functions with case studies of spatial point patterns, sphere packing and colloids
- The Besicovitch covering lemma and maximal functions
- Long shortest vectors in low dimensional lattices
- Formalizing a fragment of combinatorics on words
- Packing twelve spherical caps to maximize tangencies
- Foreword to the special focus on formal proofs for mathematics and computer science
- Single-sized spheres on surfaces (S4)
- Crystallization to the square lattice for a two-body potential
- Spontaneous periodic orbits in the Navier-Stokes flow
- Compact packings of space with two sizes of spheres
- Computing spectral measures and spectral types
- Machine learning guidance for connection tableaux
- Verification of dynamic bisimulation theorems in Coq
- LCF
- Compact packings of the plane with three sizes of discs
- symamd
- Experiences from exporting major proof assistant libraries
- Limit theory of combinatorial optimization for random geometric graphs
- NLCertify
- Intsolver
- Global dynamics in nonconservative nonlinear Schrödinger equations
- CakeML
- Techniques and results on approximation algorithms for packing circles
- 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
- 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
- CertiCrypt
- DESUMA
- GIDDES
- SAD
- SymPol
- A note on Schwartz functions and modular forms
- SPQR_RANK
- COLMOD
- ATL
- Flyspeck
- Asymptotic optimality of the triangular lattice for a class of optimal location problems
- Optimality of the triangular lattice for a particle system with Wasserstein interaction
- On packing \(\mathbb R^3\) with thin tori
- Optimal \(N\)-point configurations on the sphere: ``magic numbers and Smale's 7th problem
- Pessimal packing shapes
- From LCF to Isabelle/HOL
- Locally optimal 2-periodic sphere packings
- Optimal and non-optimal lattices for non-completely monotone interaction potentials
- Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition
- Phase field approach to optimal packing problems and related Cheeger clusters
- Sphere packing and quantum gravity
- Exponential improvements for superball packing upper bounds
- Computer-assisted proofs in PDE: a survey
- Formalization of geometric algebra in HOL Light
- An extremal property of the hexagonal lattice
- Poly/ML
- First steps towards a formalization of forcing
- Efficient algorithm for optimizing spectral partitions
- Dense packings with nonparallel cylinders
- Self-similar singularity of a 1D model for the 3D axisymmetric Euler equations
- Distributing many points on spheres: minimal energy and designs
- Certification of real inequalities: templates and sums of squares
- A semidefinite programming hierarchy for packing problems in discrete geometry
- Coquelicot
- Theorem of three circles in Coq
This page was built for software: kepler98
