
MacMPEC
 Referenced in 80 articles
[sw06973]
 directory contains a collection of Mathematical Programs with Equilibrium Constraints (MPEC) test problems in AMPL...

OPECgen
 Referenced in 20 articles
[sw13463]
 special class, called QPEC, of mathematical programs with equilibrium constraints, MPEC. A QPEC...

pyomo.dae
 Referenced in 1 article
[sw26557]
 modeling flexibility and the ability to express constraints that cannot be easily specified in other ... integer programming models and mathematical programs with equilibrium constraint formulations. Collectively, these features enable...

EMP
 Referenced in 1 article
[sw31823]
 page introduces an extended mathematical programming (EMP) framework for equilibrium programming in modeling languages such ... Julia. By equilibrium programming, we mean specifying and solving generalized Nash equilibrium problems (GNEP), multiple ... optimization problems with equilibrium constraints (MOPEC), or quasivariational inequalities (QVI) in modeling languages...

SOLGASMIX
 Referenced in 1 article
[sw03005]
 mathematical examination of the computer program SOLGASMIX used to compute the equilibrium of a chemical ... minimization which can be formulated as a constraints optimization problem. The letter is then restated...

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

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

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

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

HOM4PS
 Referenced in 76 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

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

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

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

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

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

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

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

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

Maxima
 Referenced in 154 articles
[sw00560]
 Maxima is a system for the manipulation of...