@Inproceedings{EPTCS360.3, author = {Kourzanov, Peter}, year = {2022}, title = {Tableless Calculation of Circular Functions on Dyadic Rationals}, editor = {Gibbons, Jeremy and New, Max S.}, booktitle = {{\rm Proceedings Ninth Workshop on} Mathematically Structured Functional Programming, {\rm Munich, Germany, 2nd April 2022}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {360}, publisher = {Open Publishing Association}, pages = {45-70}, doi = {10.4204/EPTCS.360.3}, }