Maximal volume enclosed by plates and proof of the chessboard conjecture.

Károly J. Böröczky Imre Bárány Endre Makai János Pach

Published in: Discret. Math. (1986)

Keyphrases

city block
feature selection
database
databases
distance transform
theorem proving
minimum distance
linear logic
data sets
artificial intelligence
search algorithm
fourier transform
volume data
automated theorem proving
complete axiomatization
number plate recognition