Login / Signup

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function.

Nikolay V. ShilovDmitry A. KondratyevIgor S. AnureevEvgeny V. BodinAlexey V. Promsky
Published in: Autom. Control. Comput. Sci. (2019)
Keyphrases
  • square root
  • platform independent
  • kalman filtering
  • floating point
  • data driven
  • arrival rate
  • machine learning
  • probability density function
  • metamodel
  • euclidean space