
EASEA
 Referenced in 13 articles
[sw07058]
 order to optimize virtually any realworld problems (continous, discrete, combinatorial, mixed and more (with ... complexity of the evaluation function of the inverse problem to be solved.
The EASEA code...

ADOLC
 Referenced in 233 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

BoomerAMG
 Referenced in 158 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

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

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

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

CXSC 2.0
 Referenced in 123 articles
[sw00182]
 A C++ class library for extended scientific computing...

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

HSL
 Referenced in 269 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

KNITRO
 Referenced in 175 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

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

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

LSQR
 Referenced in 358 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

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

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