Login / Signup
A Formal Proof of Square Root and Division Elimination in Embedded Programs.
Pierre Neron
Published in:
J. Formaliz. Reason. (2013)
Keyphrases
</>
square root
formal proof
kalman filtering
floating point
theorem prover
euclidean space
arrival rate
probability density function
riemannian manifolds