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