Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.

Hajime Ishihara

Published in: Notre Dame J. Formal Log. (2006)

Keyphrases

interactive theorem proving
fixed point theorem
fixed point
linear logic
theorem proving
boundary conditions
theorem prover
three dimensional
automated theorem proving
proof planning
mobile robot
multi agent
database
von neumann
boundary value problem
image processing
weak signal
johnson lindenstrauss
real time