Elementary analytic functions in $VTC^0$
Logic in Computer Science
2023-04-03 v3 Computational Complexity
Logic
Abstract
It is known that rational approximations of elementary analytic functions (exp, log, trigonometric, and hyperbolic functions, and their inverse functions) are computable in the weak complexity class . We show how to formalize the construction and basic properties of these functions in the corresponding theory of bounded arithmetic, .
Cite
@article{arxiv.2206.12164,
title = {Elementary analytic functions in $VTC^0$},
author = {Emil Jeřábek},
journal= {arXiv preprint arXiv:2206.12164},
year = {2023}
}
Comments
57 pages