
CGAL
 Referenced in 320 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

ISOGAT
 Referenced in 207 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

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

Macaulay2
 Referenced in 1503 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

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

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

rbMIT
 Referenced in 127 articles
[sw00784]
 The rbMIT © MIT Software package implements in Matlab...

RADAU
 Referenced in 73 articles
[sw01118]
 RADAU5 implicit RungeKutta method of order 5...

MPFR
 Referenced in 186 articles
[sw03312]
 The MPFR library is a C library for...

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

RODAS
 Referenced in 1411 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

FSQP
 Referenced in 37 articles
[sw04114]
 FSQP is an optimization algorithm with many applications...

FEniCS
 Referenced in 391 articles
[sw04314]
 The FEniCS Project is a collaborative project for...

SC Toolbox
 Referenced in 183 articles
[sw04462]
 Algorithm 843: Improvements to the SchwarzChristoffel toolbox...

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