
LSA
 Referenced in 4 articles
[sw22887]
 updates. Subroutine PSEN, intended for nonsmooth partially separable optimization problems, is based on partitioned variable ... PGAD and PGAC, intended for sparse nonlinear leastsquares problems, are based on modifications...

SEISCOPE
 Referenced in 4 articles
[sw19396]
 Newton), for the solution of largescale nonlinear optimization problems. An efficient linesearch strategy ... have to be solved. Traveltime tomography, leastsquares migration, or fullwaveform inversion are examples ... presents two advantages. First, it helps to separate the routines depending on the physics...

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

ANSYS
 Referenced in 619 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ARfit
 Referenced in 33 articles
[sw00046]
 ARfit is a collection of Matlab modules for...

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

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

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

CSDP
 Referenced in 189 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

Expokit
 Referenced in 165 articles
[sw00258]
 Expokit provides a set of routines aimed at...

Gmsh
 Referenced in 449 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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

hypre
 Referenced in 236 articles
[sw00426]
 hypre is a software library for the solution...

Isabelle
 Referenced in 580 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

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

LDL
 Referenced in 13 articles
[sw00507]
 Algorithm 849: A concise sparse Cholesky factorization package...

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