On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos.

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