Formalization of Fixed-Point Arithmetic in HOL.

Behzad Akbarpour Sofiène Tahar Abdelkader Dekdouk

Published in: Formal Methods Syst. Des. (2005)

Keyphrases

fixed point
floating point
theorem prover
formal methods
sufficient conditions
dynamical systems
belief propagation
constraint databases
fixed point theorem
database
learning algorithm
three dimensional
relational databases
variational inequalities
policy iteration