• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem.

Jun SawadaRuben Gamboa
Published in: FMCAD (2002)
Keyphrases
  • square root
  • k means
  • dynamic programming
  • similarity measure
  • search space
  • probability distribution
  • computationally efficient
  • kalman filter