Sciweavers

JAR
2010
160views more  JAR 2010»
14 years 7 months ago
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
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 ...
Behzad Akbarpour, Lawrence C. Paulson
SIAMCOMP
2000
101views more  SIAMCOMP 2000»
14 years 8 months ago
The Complexity of the A B C Problem
-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...
Jin-yi Cai, Richard J. Lipton, Yechezkel Zalcstein
NA
2008
78views more  NA 2008»
14 years 8 months ago
Luigi Gatteschi's work on asymptotics of special functions and their zeros
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...
Walter Gautschi, Carla Giordano
AISC
2008
Springer
14 years 10 months ago
Validated Evaluation of Special Mathematical Functions
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...
Franky Backeljauw, Stefan Becuwe, Annie A. M. Cuyt
ARITH
2003
IEEE
15 years 2 months ago
"Partially Rounded" Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods
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...
Jean-Michel Muller

1
posts
with
723
views
607profile views Browse  My Posts »
edneumanProfessor
Southern Illinois University Carbondale
edneuman