Expansions of real closed fields with the Banach fixed point property.

Athipat Thamrongthanyalak

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

Keyphrases

fixed point
fixed point theorem
sufficient conditions
dynamical systems
floating point
closure operator
computer vision
bargaining solution
probability distribution
belief propagation
policy iteration
constraint databases
high quality
graphical models
free energy