• 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 quasi-variational 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]
  • HOM4PS-2.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 large-scale 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 high-level language and interactive...
  • Maxima

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