Two kinds of fixed point theorems and reverse mathematics.

Weiguang Peng Takeshi Yamazaki

Published in: Math. Log. Q. (2017)

Keyphrases

fixed point
fixed point theorem
sufficient conditions
dynamical systems
belief propagation
floating point
constraint databases
variational inequalities
free energy
bargaining solution