A short proof of the Collapsing Walls Lemma.

Arseniy V. Akopyan

Published in: Discret. Math. (2012)

Keyphrases

theorem proving
neural network
information systems
image processing
multi agent
evolutionary algorithm
multiresolution
linear logic
automated theorem proving
databases
feature selection
website
natural deduction
proof planning
johnson lindenstrauss