• Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • NPspinor

  • Referenced in 18 articles [sw00633]
  • With the assistance of the computer algebra system...
  • DLMF

  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • rda

  • Referenced in 86 articles [sw06091]
  • rda: Shrunken Centroids Regularized Discriminant Analysis , Shrunken Centroids...
  • SIGMA

  • Referenced in 98 articles [sw06904]
  • Sigma is a Mathematica package that can handle...
  • CoLoSS

  • Referenced in 14 articles [sw07016]
  • CoLoSS: The Coalgebraic Logic Satisfiability Solver CoLoSS, the...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • SumTools

  • Referenced in 108 articles [sw19250]
  • SumTools [Hypergeometric]: perform Koepf-Zeilberger’s algorithm....
  • IncMaxCLQ

  • Referenced in 1 article [sw21468]
  • MaxCLQ for MaxClique. Combining Incremental Upper Bound and...
  • CHUFFED

  • Referenced in 15 articles [sw24724]
  • Chuffed, a lazy clause generation solver: lazy clause...
  • GBO

  • Referenced in 2 articles [sw40814]
  • Gradient-based optimizer: a new metaheuristic optimization algorithm...