Login / Signup

A Formal Proof of Square Root and Division Elimination in Embedded Programs.

Pierre Neron
Published in: CPP (2012)
Keyphrases
  • square root
  • formal proof
  • floating point
  • kalman filtering
  • theorem prover
  • probability density function
  • arrival rate
  • euclidean space
  • kalman filter
  • riemannian manifolds