Towards platform-independent specification and verification of the standard trigonometry functions. - Nikolay V. Shilov 002; Boris L. Faifel; Svetlana O. Shilova; Aleksey V. Promsky (CoRR, 2019)