论文标题
$ VTC^0 $中的基本分析功能
Elementary analytic functions in $VTC^0$
论文作者
论文摘要
众所周知，在弱复杂性类别$ \ mathrm {tc}^0 $中，可以计算基本分析函数（EXP，LOG，TRIGEOMETRIC和双曲线功能及其逆函数）的有理近似值。我们展示了如何在有限算术的相应理论中形式化这些函数的构建和基本属性，$ \ mathsf {vtc}^0 $。
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 $\mathrm{TC}^0$. We show how to formalize the construction and basic properties of these functions in the corresponding theory of bounded arithmetic, $\mathsf{VTC}^0$.
