-
WAM
- Referenced in 4 articles
[sw14485]
- polynomial fitting and interpolation on Weakly Admissible Meshes...
-
Coq
- Referenced in 1890 articles
[sw00161]
- Coq is a formal proof management system. It...
-
GAP
- Referenced in 3189 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
LANCELOT
- Referenced in 306 articles
[sw00500]
- LANCELOT. A Fortran package for large-scale nonlinear...
-
LAPACK
- Referenced in 1702 articles
[sw00503]
- LAPACK is written in Fortran 90 and provides...
-
Macaulay2
- Referenced in 1923 articles
[sw00537]
- Macaulay2 is a software system devoted to supporting...
-
Maple
- Referenced in 5373 articles
[sw00545]
- The result of over 30 years of cutting...
-
Mathematica
- Referenced in 6355 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
Matlab
- Referenced in 13544 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
R
- Referenced in 9969 articles
[sw00771]
- R is a language and environment for statistical...
-
SageMath
- Referenced in 1994 articles
[sw00825]
- Sage (SageMath) is free, open-source math software...
-
XFEM
- Referenced in 382 articles
[sw01026]
- An extended finite element library. This paper presents...
-
SeDuMi
- Referenced in 1281 articles
[sw04002]
- SeDuMi is a Matlab toolbox for solving optimization...
-
INTLAB
- Referenced in 471 articles
[sw04004]
- INTLAB is the Matlab toolbox for reliable computing...
-
SDPT3
- Referenced in 703 articles
[sw04009]
- This software is designed to solve conic programming...
-
UCI-ml
- Referenced in 3403 articles
[sw04074]
- UC Irvine Machine Learning Repository. We currently maintain...
-
CPLEX
- Referenced in 2773 articles
[sw04082]
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
-
FFTW
- Referenced in 549 articles
[sw04126]
- FFTW is a C subroutine library for computing...
-
LINPACK
- Referenced in 520 articles
[sw04209]
- LINPACK is a collection of Fortran subroutines that...
