A constructive proof of a permutation-based generalization of Sperner's lemma.

Published in: Math. Program. (1989)

Keyphrases

theorem prover
information retrieval
theorem proving
efficient computation
johnson lindenstrauss
neural network
three dimensional
information technology
proof search
mathematical proofs