
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 230 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 308 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

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

Coq
 Referenced in 1776 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 2829 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

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

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

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

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

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

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

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