A Lost Counterexample and a Problem on Illuminated Polytopes.

Ronald F. Wotzlaw Günter M. Ziegler

Published in: Am. Math. Mon. (2011)

Keyphrases

light source
model checking
lattice points
formal verification
convex hull
packing problem
wide range
lighting conditions
surface normals
training set
multiresolution
single image
multiscale
high quality
structured light
image sequences
neural network