A Proof of GMP Square Root.

Yves Bertot Nicolas Magaud Paul Zimmermann

Published in: J. Autom. Reason. (2002)

Keyphrases

square root
kalman filtering
floating point
euclidean space
arrival rate
probability density function
image sequences
riemannian manifolds
medical images
model selection
kalman filter