
SQPlab
 Referenced in 149 articles
[sw05161]
 nonlinear and nonconvex, but must be differentiable. A particular attention will be paid to problems ... optimal control structure. SQP stands for Sequential Quadratic Programming, a method invented ... quadratic program (QP). This is a simpler optimization problem, which has a quadratic objective ... particular it is NPhard when the quadratic objective is nonconvex. On the other hand...

OreAlgebraicAnalysis
 Referenced in 4 articles
[sw15153]
 functional equations; these can be differential equations, differential timedelay systems, discretetime systems ... packages by means of examples from control theory. Joint work with Alban Quadrat, Maris Tonso...

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

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

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

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

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

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

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

GAUSS
 Referenced in 116 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

Gerris
 Referenced in 248 articles
[sw00341]
 Gerris is a Free Software program for the...

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

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

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

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

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

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

MATCONT
 Referenced in 353 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 5823 articles
[sw00554]
 Almost any workflow involves computing results, and that...