Login / Signup
Verification of the decimal floating-point square root operation.
Amr A. R. Sayed-Ahmed
Hossam A. H. Fahmy
Ulrich Kühne
Published in:
ETS (2014)
Keyphrases
</>
square root
floating point
kalman filtering
arrival rate
probability density function
euclidean space
high dimensional
motion estimation
riemannian manifolds