14 search results - page 1 / 3 » Continued Fractions for Special Functions: Handbook and Soft... |
DAGSTUHL
2008
13 years 6 months ago
2008
AISC
2008
Springer
13 years 6 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...
JAR
2010
13 years 3 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 ...
CSL
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
ATS
2005
IEEE
13 years 10 months ago
2005
IEEE
In the past, test data volume reduction techniques have concentrated heavily on scan test data content. However, functional vectors continue to be utilized because they target uni...