A Certified Proof of the Cartan Fixed Point Theorems.

Gianni Ciolli Graziano Gentili Marco Maggesi

Published in: J. Autom. Reason. (2011)

Keyphrases

fixed point
linear logic
fixed point theorem
sequent calculus
dynamical systems
sufficient conditions
belief propagation
floating point
free energy
constraint databases
image sequences
similarity measure
state space