TY  - RPRT
TI  - Towards platform-independent verification of the standard mathematical functions: the square root function
AU  - Nikolay V. Shilov
AU  - Igor S. Anureev
AU  - Mikhail Berdyshev
AU  - Dmitry Kondratev
AU  - Aleksey V. Promsky
PY  - 2018
UR  - https://arxiv.org/abs/1801.00969
ID  - 1801.00969
ER  -