TY  - RPRT
TI  - Towards platform-independent specification and verification of the standard trigonometry functions
AU  - Nikolay V. Shilov
AU  - Boris L. Faifel
AU  - Svetlana O. Shilova
AU  - Aleksey V. Promsky
PY  - 2019
UR  - https://arxiv.org/abs/1901.03414
ID  - 1901.03414
ER  -