Modeling System C Fixed-Point Arithmetic in HOL.

Behzad Akbarpour Sofiène Tahar

Published in: ICFEM (2003)

Keyphrases

fixed point
floating point
sufficient conditions
fixed point theorem
dynamical systems
free energy
bargaining solution
belief propagation
image processing
high quality
theorem prover
variational inequalities
constraint databases