
Bezout
 Referenced in 2 articles
[sw38509]
 Maplesheets demonstrating the application of Bernstein’s second theorem for the examples presented...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

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

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

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

ORTHPOL
 Referenced in 82 articles
[sw00659]
 Algorithm 726: ORTHPOL  A package of routines for...

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

PHCpack
 Referenced in 236 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

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

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

RKC
 Referenced in 126 articles
[sw00808]
 RKC: An explicit solver for parabolic PDEs. An...

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1522 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...