Elementary analytic functions in VTC^0

Kód výsledku v 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>
Výsledek na webu
<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>

Jazyk výsledku
angličtina
Název v původním jazyce
Elementary analytic functions in VTC^0
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Elementary analytic functions in VTC^0
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GA23-04825S" target="_blank" >GA23-04825S: Logika a nesplnitelnost</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2023
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)