[Proof Complexity] preprint

Emil Jerabek jerabek at math.cas.cz
Fri Jun 24 11:20:43 CEST 2022

Dear colleagues,

A new preprint, "Elementary analytic functions in VTC^0", is available
at https://math.cas.cz/~jerabek/papers/abstracts.html#vtcanal .

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,

Suggestions, corrections, and comments are welcome.

Best regards,

More information about the Proof-Complexity mailing list