
Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

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...

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...

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...

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

Sostools
 Referenced in 293 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

AUTO
 Referenced in 958 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

MACSYMA
 Referenced in 721 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

SPLUS
 Referenced in 630 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

SeDuMi
 Referenced in 1284 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

INTLAB
 Referenced in 472 articles
[sw04004]
 INTLAB is the Matlab toolbox for reliable computing...

SDPT3
 Referenced in 707 articles
[sw04009]
 This software is designed to solve conic programming...

COMSOL
 Referenced in 460 articles
[sw04091]
 The COMSOL Multiphysics engineering simulation software environment facilitates...

RODAS
 Referenced in 1757 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

SNAP
 Referenced in 179 articles
[sw04184]
 Stanford Network Analysis Platform (SNAP) is a general...