[Proof Complexity] preprint

[Emil Jerabek]

Dear colleagues,

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

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
TC^0. We show how to formalize the construction and basic properties of
these functions in the corresponding theory of bounded arithmetic,
VTC^0.

Suggestions, corrections, and comments are welcome.

Best regards,
Emil