Login / Signup
Towards platform-independent verification of the standard mathematical functions: the square root function.
Nikolay V. Shilov
Igor S. Anureev
Mikhail Berdyshev
Dmitry Kondratev
Aleksey V. Promsky
Published in:
CoRR (2018)
Keyphrases
</>
square root
platform independent
mathematical functions
kalman filtering
floating point
euclidean space
arrival rate
evolutionary algorithm
business process
kalman filter
probability density function
metamodel