Fixed point theorems in constructive mathematics.

Matthew Hendtlass

Published in: J. Log. Anal. (2012)

Keyphrases

fixed point
fixed point theorem
sufficient conditions
dynamical systems
policy iteration
constraint databases
image processing
pairwise
image matching
belief propagation
learning algorithm
stereo matching
variational inequalities
free energy
boundary value problem
bargaining solution