Program Derivation by Fixed Point Computation.

Jiazhen Cai Robert Paige

Published in: Sci. Comput. Program. (1989)

Keyphrases

fixed point
dynamical systems
sufficient conditions
belief propagation
floating point
fixed point theorem
computer vision
variational inequalities
constraint databases
stationary points
higher order