A Constructive Proof of Tucker's Combinatorial Lemma.

Robert M. Freund Michael J. Todd

Published in: J. Comb. Theory, Ser. A (1981)

Keyphrases

johnson lindenstrauss
theorem proving
mathematical proofs
decision making
website
relational databases
geometry theorem proving
proof planning
natural deduction
evolutionary algorithm
search space
real time
multiscale
e learning
information retrieval
neural network
databases