Elementary and integral-elementary functions
نویسندگان
چکیده
منابع مشابه
Skolem Functions and Elementary Extensions
In [4] Payne constructed such a pair of uncountable models for an uncountable language. Knight [1] announced that the language could be countable and presented her construction in [3] together with other examples one of which is a " nonSkolemizable elementary triple " of countable structures for a countable language. Payne's, Knight's and the present construction all seem to use rather differen...
متن کاملBerkeley Elementary Functions Test Suite
A suite of programs is presented to test how accurately the elementary transcendental functions exp, log, sin, cos and atan have been implemented in a computer’s run-time library. The suite is written in the language C and designed to run on any computer with binary floating-point arithmetic rounded in a reasonable way. The suite makes no appeal to extra-precise arithmetic; the tests use only w...
متن کاملAssisted verification of elementary functions
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall error of the implementation with respect to the mathematical function. Such work is function specific, concerns tens of lines of code for each function, and will usually be broken by the smallest change to the code (e.g....
متن کاملIdentities involving elementary symmetric functions
A systematic procedure for generating certain identities involving elementary symmetric functions is proposed. These identities, as particular cases, lead to new identities for binomial and q-binomial coefficients.
متن کاملAn elementary evaluation of a quartic integral
We provide an elementary evaluation for the integral
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Illinois Journal of Mathematics
سال: 2000
ISSN: 0019-2082
DOI: 10.1215/ijm/1255984958