The Cartan Fixed Point Theorems.

Lawrence C. Paulson

Published in: Arch. Formal Proofs (2016)

Keyphrases

fixed point
fixed point theorem
sufficient conditions
dynamical systems
floating point
data exchange
belief propagation
bargaining solution