On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems.

Ulrich Kohlenbach

Published in: CCA (2000)

Keyphrases

fixed point
fixed point theorem
sufficient conditions
belief propagation
database
floating point
variational inequalities
constraint databases
dynamical systems
image sequences
preprocessing
state space