
CONHYP
 Referenced in 4 articles
[sw00152]
 confluent hypergeometric function for complex arguments of large magnitudes A numerical evaluator for the confluent ... hypergeometric function for complex arguments with large magnitudes using a direct summation of Kummer ... series is presented. Extended precision subroutines using large arrays to accumulate a single numerator ... arguments ranging into the thousands in any quadrant in the complex plane. Because the evaluator...

PFQ
 Referenced in 4 articles
[sw11864]
 using extended precision subroutines. Cases involving large, complex arguments are shown to be accurate...

pFq
 Referenced in 1 article
[sw20903]
 generalized hypergeometric function for complex arguments with large magnitudes using a direct summation...

Bessel
 Referenced in 3 articles
[sw11598]
 complex and real numbers; notably interfacing TOMS 644; approximations for large arguments, experiments...

Algorithm 838
 Referenced in 15 articles
[sw04464]
 real line and in the complex plane. The module also computes the zeros and associated ... summation of asymptotic expansions for large argument. These methods were chosen because they are simple...

CollHaps
 Referenced in 2 articles
[sw35234]
 several genetic studies, e.g., mapping of complex disease genes, drug design, and evolutionary studies ... justified by both experimental results and theoretical arguments. However, the problem of haplotype inference ... that CollHaps enables the user to process large data sets obtaining very “parsimonious” solutions...

TurbulentSkinFriction
 Referenced in 1 article
[sw19873]
 airplane from first principles is an incredibly complex task and requires powerful methods of computational ... Short were primarily concerned with the large amount of scatter in the data ... result, the function supplied here has three arguments, Reynolds number, Mach number and freestream temperature...

cdd
 Referenced in 113 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

LEDA
 Referenced in 262 articles
[sw00509]
 In the core computer science areas  data structures...

Maple
 Referenced in 5296 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6235 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13100 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 558 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NAG
 Referenced in 421 articles
[sw00610]
 Produced by experts for use in a variety...

Paramils
 Referenced in 76 articles
[sw00678]
 Paramils: an automatic algorithm configuration framework. The identification...

PROFIL/BIAS
 Referenced in 134 articles
[sw00733]
 PROFIL (Programmer’s Runtime Optimized Fast Interval Library...

R
 Referenced in 9188 articles
[sw00771]
 R is a language and environment for statistical...

RFSFNS
 Referenced in 12 articles
[sw00803]
 RFSFNS: a portable package for the numerical determination...