Elementary analytic functions in VTC^0

DOI10.1016/J.APAL.2023.103269MaRDI QIDQ6403046arXivFDO

Authors Emil Jeřábek

Publication date 24 June 2022

Mathematics Subject Classification ID

Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Exponential and trigonometric functions (33B10)

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 $mathrm{TC}^0$. We show how to formalize the construction and basic properties of these functions in the corresponding theory of bounded arithmetic, $mathsf{VTC}^0$.

This page was built for publication: Elementary analytic functions in $VTC^0$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6403046)