Towards platform-independent verification of the standard mathematical functions: the square root function. - Nikolay V. Shilov 002; Igor S. Anureev; Mikhail Berdyshev; Dmitry Kondratev; Aleksey V. Promsky (CoRR, 2018)