@misc{indiciaeea5bf421bbcc, title = {Fast Trigonometric Functions using the RLIBM Approach}, author = {Sehyeok Park and Santosh Nagarakatte}, year = {2025}, doi = {10.4204/eptcs.432.9}, url = {https://arxiv.org/abs/2510.13426}, note = {Source identifier: 2510.13426} }