
YALMIP
 Referenced in 913 articles
[sw04595]
 MATLAB code. Automatic categorization of problems, and automatic solver selection Supports numerous external solvers, both...

CUTEr
 Referenced in 558 articles
[sw04010]
 linear algebra solvers. The package contains a collection of test problems, along with Fortran ... improve new and existing solvers. The test problems provided are written in socalled Standard...

SDPT3
 Referenced in 609 articles
[sw04009]
 illustrate the coding of problem data for our SQLP solver. Various techniques to improve ... total of about 300 test problems to an accuracy of at least...

HLLE
 Referenced in 551 articles
[sw06605]
 Leer and Einfeldt) solver is an approximate solution to the Riemann problem, which is only ... stability and robustness of the HLLE solver is closely related to the signal velocities...

OpenFOAM
 Referenced in 390 articles
[sw04317]
 OpenFOAM includes over 80 solver applications that simulate specific problems in engineering mechanics and over...

Chaff
 Referenced in 567 articles
[sw06916]
 solver. Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort ... provide practical solutions to this problem for problem instances encountered in a range of applications ... both research and industry. Most existing complete solvers are variants of the DavisPutnam...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 means that for each of the two problems all solutions are to be found ... interval arithmetic and the solvers for the above mentioned problems in FORTRAN 77 resp. FORTRAN...

ODEPACK
 Referenced in 191 articles
[sw08341]
 collection of Fortran solvers for the initial value problem for ordinary differential equation systems ... solvers use general sparse matrix solvers for the linear systems that arise. Two others ... recent addition is LSODIS, which solves implicit problems with general sparse treatment of all matrices...

GAMS
 Referenced in 838 articles
[sw04978]
 establish an accurate model. The system models problems in a highly compact and natural ... quickly and easily, can change from one solver to another, and can even convert from...

LMI toolbox
 Referenced in 1419 articles
[sw06383]
 interiorpoint LMI solvers. While these solvers are significantly faster than classical convex optimization algorithms ... solving, say, a Riccati equation. For instance, problems with a thousand design variables typically take...

ABAQUS
 Referenced in 1452 articles
[sw04215]
 solutions for both routine and sophisticated engineering problems covering a vast spectrum of industrial applications ... common model data structure and integrated solver technology. Bestinclass companies are taking advantage...

SNOPT
 Referenced in 507 articles
[sw02300]
 explicit provision for infeasibility in the original problem and the QP subproblems. SNOPT ... that makes use of a semidefinite QP solver. It is based on a limitedmemory ... subproblems. It is designed for problems with many thousands of constraints and variables...

Optimization Toolbox
 Referenced in 283 articles
[sw10828]
 Solve linear, quadratic, integer, and nonlinear optimization problems. Optimization Toolbox™ provides functions for finding parameters ... objectives while satisfying constraints. The toolbox includes solvers for linear programming, mixedinteger linear programming ... these solvers to find optimal solutions to continuous and discrete problems, perform tradeoff analyses...

bvp4c
 Referenced in 233 articles
[sw06178]
 boundary value problems. See Multipoint Boundary Value Problems. You can use the function bvpinit ... information. The bvp4c solver can also find unknown parameters p for problems of the form ... unknown parameters in solinit.parameters. The bvp4c solver returns the final values of these unknown parameters...

CGS
 Referenced in 301 articles
[sw08225]
 competitive solver for nonsymmetric linear systems, at least for problems that are not too large...

Concorde
 Referenced in 302 articles
[sw04770]
 problem (TSP) and some related network optimization problems. The code is written in the ANSI ... Cook for licensing options. Concorde’s TSP solver has been used to obtain the optimal ... create specialized codes for TSPlike problems. All Concorde functions are threadsafe for programming ... sharedmemory parallel environments; the main TSP solver includes code for running over networks...

CSPLib
 Referenced in 92 articles
[sw04150]
 library of test problems for constraint solvers. The library consists of: problems organised by subject ... problem number guidelines for submitting new problems a paper about the library (in postscript ... related benchmark libraries links to constraint solvers a history of changes to the library ... research in constraints away from purely random problems and onto more structured problems...

SATLIB
 Referenced in 57 articles
[sw02107]
 SATLIB is a collection of benchmark problems, solvers, and tools we are using ... solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations...

LSDYNA
 Referenced in 309 articles
[sw03068]
 combined Implicit/Explicit solver. One scalable code for solving highly nonlinear transient problems enabling the solution...