Elementary analytic functions in VTC^0

0570761 - MÚ 2024 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Elementary analytic functions in VTC^0.
Annals of Pure and Applied Logic. Roč. 174, č. 6 (2023), č. článku 103269. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * elementary analytic functions * models of arithmetic * threshold circuits
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2023.103269

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 TC^0. We show how to formalize the construction and basic properties of these functions in the corresponding theory of bounded arithmetic, VTC^0.
Trvalý link: https://hdl.handle.net/11104/0342097