Sciweavers

Share
JAR
2010
160views more  JAR 2010»
9 years 2 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 modiļ¬ed to call a decision procedure for ...
Behzad Akbarpour, Lawrence C. Paulson
SIAMCOMP
2000
101views more  SIAMCOMP 2000»
9 years 3 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»
9 years 3 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
9 years 5 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
9 years 9 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
books