Fixed Point Theorems in Computability Theory.

Sebastiaan A. Terwijn

Published in: Logics and Type Systems in Theory and Practice (2024)

Keyphrases

fixed point
fixed point theorem
dynamical systems
sufficient conditions
constraint databases
floating point
linear logic
three dimensional
image retrieval
belief propagation
variational inequalities
policy iteration
free energy