• 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...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. 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 high-level language and interactive...
  • MiniSat

  • Referenced in 558 articles [sw00577]
  • An extensible SAT-solver. 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...