A constructive proof of Ky Fan's generalization of Tucker's lemma.

Timothy Prescott Francis Edward Su

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

Keyphrases

fixed point theorem
fixed point
johnson lindenstrauss
theorem prover
pairwise
theorem proving
real time
graphical models