JAR
2010
13 years 11 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
SIAMCOMP
2000
14 years 15 days ago
2000
-fields are a very general class of difference fields that enable one to discover and prove multisum identities arising in combinatorics and special functions. In this article we f...
NA
2008
14 years 21 days ago
2008
A good portion of Gatteschi's research publications--about 65%--is devoted to asymptotics of special functions and their zeros. Most prominently among the special functions st...
AISC
2008
Springer
14 years 2 months ago
2008
Springer
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-know...
ARITH
2003
IEEE
14 years 6 months ago
2003
IEEE
We aim at evaluating elementary and special functions using small tables and small, rectangular, multipliers. To do that, we show how accurate polynomial approximations whose orde...
1
posts
with
723
views
723
views
