
GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

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

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

JavaView
 Referenced in 17 articles
[sw04055]
 JavaView is a 3D geometry viewer and a...

FFTW
 Referenced in 553 articles
[sw04126]
 FFTW is a C subroutine library for computing...

PVM
 Referenced in 307 articles
[sw04273]
 PVM (Parallel Virtual Machine) is a software package...

Simulink
 Referenced in 820 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...

fda (R)
 Referenced in 1571 articles
[sw04511]
 fda: Functional Data Analysis , These functions were developed...

CVX
 Referenced in 855 articles
[sw04594]
 CVX is a modeling system for constructing and...

mctoolbox
 Referenced in 1521 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

LIBSVM
 Referenced in 1204 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines...

DLMF
 Referenced in 2889 articles
[sw04968]
 NIST digital library of mathematical functions. The National...