Login / Signup
Square Root and Division Elimination in PVS.
Pierre Neron
Published in:
ITP (2013)
Keyphrases
</>
square root
kalman filtering
floating point
arrival rate
euclidean space
probability density function
machine learning
kalman filter
riemannian manifolds
prior knowledge
markov random field
particle filtering