Login / Signup
A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis.
Helmut Schwichtenberg
Published in:
J. Univers. Comput. Sci. (2005)
Keyphrases
</>
interactive theorem proving
fixed point theorem
fixed point
theorem prover
johnson lindenstrauss
database systems
sufficient conditions
database
boundary conditions
boundary value problem
mathematical proofs
multiscale
case study
theorem proving
information retrieval
geometry theorem proving
neural network