1 citations · 1 across the 1 of their papers we have counts for
2 papers
math.MG2017★ 1 cited
On a Detail in Hales's "Dense Sphere Packings: A Blueprint for Formal Proofs"
Nadja Scharf
In "Dense Sphere Packings: A Blueprint for Formal Proofs" Hales proves that for every packing of unit spheres, the density in a ball of radius is at most for…
cs.CG2016
Approximating Smallest Containers for Packing Three-dimensional Convex Objects
Helmut Alt, Nadja Scharf
We investigate the problem of computing a minimal-volume container for the non-overlapping packing of a given set of three-dimensional convex objects. Already the simplest versions…