Elementary analytic functions in VTC^0

DOI10.1016/J.APAL.2023.103269arXiv2206.12164MaRDI QIDQ6403046FDOQ6403046

Publication date: 24 June 2022

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

m a t h r m {T C}^{0}

. We show how to formalize the construction and basic properties of these functions in the corresponding theory of bounded arithmetic,

m a t h s f {V T C}^{0}

.

Mathematics Subject Classification ID

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

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)