On Deciding the Provability of Certain Fixed Point Statements.

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

Keyphrases

fixed point
sufficient conditions
dynamical systems
least squares
floating point
free energy
game theory
belief propagation
variational inequalities
policy iteration
bargaining solution