Elementary analytic functions in VTC^0
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F23%3A00570761" target="_blank" >RIV/67985840:_____/23:00570761 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1016/j.apal.2023.103269" target="_blank" >https://doi.org/10.1016/j.apal.2023.103269</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.apal.2023.103269" target="_blank" >10.1016/j.apal.2023.103269</a>
Alternative languages
Result language
angličtina
Original language name
Elementary analytic functions in VTC^0
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
<a href="/en/project/GA23-04825S" target="_blank" >GA23-04825S: Logic and unsatisfiability</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Annals of Pure and Applied Logic
ISSN
0168-0072
e-ISSN
1873-2461
Volume of the periodical
174
Issue of the periodical within the volume
6
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
50
Pages from-to
103269
UT code for WoS article
000967938500001
EID of the result in the Scopus database
2-s2.0-85151450748