@misc{indiciae7de1f6348682,
  title = {Towards platform-independent verification of the standard mathematical functions: the square root function},
  author = {Nikolay V. Shilov and Igor S. Anureev and Mikhail Berdyshev and Dmitry Kondratev and Aleksey V. Promsky},
  year = {2018},
  url = {https://arxiv.org/abs/1801.00969},
  note = {Source identifier: 1801.00969}
}