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

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CoCoA
 Referenced in 634 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

Maxima
 Referenced in 154 articles
[sw00560]
 Maxima is a system for the manipulation of...

nauty
 Referenced in 571 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Cayley
 Referenced in 131 articles
[sw01053]
 An introduction to the Group Theory Language, Cayley...

RELCI
 Referenced in 3 articles
[sw01178]
 RELCI: a program for relativistic configuration interaction calculations...

LOQO
 Referenced in 203 articles
[sw02212]
 LOQO: An interior point code for quadratic programming...

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

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

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

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

Ipopt
 Referenced in 648 articles
[sw04808]
 Ipopt (Interior Point OPTimizer, pronounced eyepeaOpt...

MeatAxe
 Referenced in 66 articles
[sw04906]
 The MeatAxe  Computing with Modular Representations. The MeatAxe...

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