Explicit Mathematics with the Monotone Fixed Point Principle.

Michael Rathjen

Published in: J. Symb. Log. (1998)

Keyphrases

fixed point
free energy
sufficient conditions
floating point
fixed point theorem
constraint databases
variational inequalities
upper bound
dynamical systems
belief propagation
high quality
database
probabilistic model
pairwise
object recognition
policy iteration
image sequences
bargaining solution
three dimensional