A constructive proof of Ky Fan's coincidence theorem.

A. J. J. Talman Zaifu Yang

Published in: Math. Program. (2009)

Keyphrases

interactive theorem proving
fixed point theorem
fixed point
theorem proving
von neumann
boundary conditions
data mining
genetic algorithm
theorem prover
boundary value problem
geometry theorem proving
artificial intelligence
decision trees
hidden markov models
heavy traffic limit