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

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

LANCELOT
 Referenced in 263 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

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

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

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

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

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

ROBETH
 Referenced in 43 articles
[sw00811]
 ROBETH is the program library for robust statistical...

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

TSPLIB
 Referenced in 599 articles
[sw00983]
 TSPLIB is a library of sample instances for...

XFEM
 Referenced in 302 articles
[sw01026]
 An extended finite element library. This paper presents...

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

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

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

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

UCIml
 Referenced in 2604 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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

LINPACK
 Referenced in 461 articles
[sw04209]
 LINPACK is a collection of Fortran subroutines that...