
SERK2v3
 Referenced in 7 articles
[sw14473]
 real axis. It is necessary to evaluate the function $s$ times, but the stability region ... parabolic multidimensional 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...

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

CXSC 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 largescale 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 highlevel language and interactive...

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

nauty
 Referenced in 597 articles
[sw00611]
 graphtheoretic 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...