
SCS
 Referenced in 53 articles
[sw16632]
 modest accuracy. The method uses an operator splitting method, the alternating directions method of multipliers ... homogeneous selfdual embedding, an equivalent feasibility problem involving finding a nonzero point ... method is the same as applying the splitting method to the primal or dual alone...

LINDOGlobal
 Referenced in 52 articles
[sw06196]
 shown to not have a feasible or optimal solution, or b) an optimal solution ... convex, or c) the subproblem is further split into two or more subproblems which...

GLOPT
 Referenced in 19 articles
[sw00359]
 uses a branch and bound technique to split the problem recursively into subproblems that ... boxes and new ways for generating feasible points of constrained nonlinear programs. These are implemented...

TRIOPT
 Referenced in 6 articles
[sw02486]
 given set of samples in the feasible domain, and then, it assesses the simplices (partitions ... partitioned according to different triangular splitting strategies, forming new partitions. These strategies are efficient...

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

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

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

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

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

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

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

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

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

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

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

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

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

PARDISO
 Referenced in 295 articles
[sw00679]
 The package PARDISO is a threadsafe, high...