Elementary analytic functions in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:mi mathvariant="sans-serif">VT</mml:mi><mml:msup><mml:mrow><mml:mi mathvariant="sans-serif">C</mml:mi></mml:mrow><mml:mrow><mml:mn mathvariant="sans-serif">0</mml:mn></mml:mrow></mml:msup></mml:math>

نویسندگان

چکیده

It is known that rational approximations of elementary analytic functions (exp, log, trigonometric, and hyperbolic functions, their inverse functions) are computable in the weak complexity class TC0. We show how to formalize construction basic properties these corresponding theory bounded arithmetic, VTC0.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Subclass of Analytic Functions Associated with Hypergeometric Functions

In the present paper, we have established sufficient conditions for Gaus-sian hypergeometric functions to be in certain subclass of analytic univalent functions in the unit disc $mathcal{U}$. Furthermore, we investigate several mapping properties of Hohlov linear operator for this subclass and also examined an integral operator acting on hypergeometric functions.

متن کامل

An Elementary Approach to Some Analytic Asymptotics

Fredman and Knuth have treated certain recurrences, such as M(O) 1 and M(n + 1) min (aM(k) + 3M(nk)) O 1, by means of auxiliary recurrences such as J" 0 if 0 _< x < 1, h(x) l+h(x/cz)+h(x//) ifl_<x< The asymptotic behavior of h(x) as x oo with a and 3 fixed depends on whether log a/logf is rational or irrational. The solution of Fredman and Knuth used analytic methods in bo...

متن کامل

Analytic Zariski Structures and Non-elementary Categoricity

We study analytic Zariski structures from the point of view of non-elementary model theory. We show how to associate an abstract elementary class with a one-dimensional analytic Zariski structure and prove that the class is stable, quasi-minimal and homogeneous over models. We also demonstrate how Hrushovski’s predimension arises in this general context as a natural geometric notion and use it ...

متن کامل

Elementary Theory of Analytic Functions of One or Several Complex Variables.

Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this way, concomitant with the technology development, many companies serve the e-book or book in soft file. The system of this book of course will be much easier. No worry to forget bringing the elementary theory of analytic functions of one or several complex variables bo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Pure and Applied Logic

سال: 2023

ISSN: ['0168-0072', '1873-2461']

DOI: https://doi.org/10.1016/j.apal.2023.103269