@misc{indiciae44cf58088f31,
  title = {Towards platform-independent specification and verification of the standard trigonometry functions},
  author = {Nikolay V. Shilov and Boris L. Faifel and Svetlana O. Shilova and Aleksey V. Promsky},
  year = {2019},
  url = {https://arxiv.org/abs/1901.03414},
  note = {Source identifier: 1901.03414}
}