• SERK2v3

  • Referenced in 7 articles [sw14473]
  • real axis. It is necessary to evaluate the function $s$ times, but the stability region ... parabolic multi-dimensional PDEs. Additionally, the stability domain is adapted precisely to the spectrum ... derive two algorithms to estimate the spectral radius in the new code: a nonlinear power...
  • BARON

  • Referenced in 339 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

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

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Expokit

  • Referenced in 189 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

  • Referenced in 3068 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LANCELOT

  • Referenced in 304 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1677 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 3137 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • 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...
  • NAG

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

  • Referenced in 597 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PARI/GP

  • Referenced in 627 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • PLTMG

  • Referenced in 215 articles [sw00717]
  • PLTMG 11.0 is a package for solving elliptic...
  • PROFIL/BIAS

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

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

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