C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem.
Jun Sawada
Ruben Gamboa
Published in:
FMCAD (2002)
Keyphrases
</>
square root
k means
dynamic programming
similarity measure
search space
probability distribution
computationally efficient
kalman filter