Login / Signup

Fixed Point Theory in Weak Second-Order Arithmetic.

Naoki ShiojiKazuyuki Tanaka
Published in: Ann. Pure Appl. Log. (1990)
Keyphrases
  • fixed point
  • floating point
  • sufficient conditions
  • dynamical systems
  • belief propagation
  • variational inequalities
  • constraint databases
  • fixed point theorem
  • high quality
  • least squares