Login / Signup
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos.
Andrej Bauer
Published in:
MFPS (2009)
Keyphrases
</>
fixed point
fixed point theorem
constraint databases
sufficient conditions
high quality
decision makers
floating point
three dimensional
search algorithm
boundary conditions
variational inequalities