Floating-point arithmetic in the Coq system.

Guillaume Melquiond

Published in: Inf. Comput. (2012)

Keyphrases

floating point arithmetic
floating point
formal methods
theorem prover
fixed point
instruction set
databases
belief propagation
pairwise
first order logic
interval arithmetic