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

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

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

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

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

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

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

R
 Referenced in 6593 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 1257 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

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

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

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

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

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

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

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

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