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