• LMI toolbox

  • Referenced in 1312 articles [sw06383]
  • Linear Matrix Inequalities (LMIs) and LMI techniques have emerged as powerful design tools in areas...
  • Genocop

  • Referenced in 1019 articles [sw04707]
  • function; additional linear constraints (equations and inequalities) can be specified as well. The current version...
  • SDPT3

  • Referenced in 526 articles [sw04009]
  • determinant maximization problems with linear matrix inequalities. It employs an infeasible primal-dual predictor-corrector...
  • SNOPT

  • Referenced in 459 articles [sw02300]
  • constraints. Here we consider problems with general inequality constraints (linear and nonlinear). We assume that...
  • GloptiPoly

  • Referenced in 233 articles [sw04343]
  • semidefinite programming (SDP), or linear matrix inequality (LMI) relaxations of the GPM, whose associated monotone...
  • CVRPSP

  • Referenced in 103 articles [sw13447]
  • package contains separation routines for rounded capacity inequalities, homogeneous multistar inequalities, generalized multistar inequalities, framed ... capacity inequalities, strengthened comb inequalities, and hypotour inequalities. In addition, the package contains a routine...
  • Normaliz

  • Referenced in 128 articles [sw00630]
  • system of linear homogeneous Diophantine equations, inequalities and congruences or a binomial ideal. Normaliz computes ... lattice under consideration by a system of inequalities, equations and congruences...
  • PORTA

  • Referenced in 108 articles [sw04869]
  • system of linear equations and inequalities. The name PORTA is an abbreviation for POlyhedron Representation ... projection of a given system of linear inequalities can be done separately by using...
  • cdd

  • Referenced in 100 articles [sw00114]
  • polyhedron given by a system of linear inequalities ... problem which is to obtain a linear inequality representation of a convex polyhedron given...
  • MINTO

  • Referenced in 130 articles [sw04587]
  • probing; construct feasible solutions generate strong valid inequalities perform variable fixing based on reduced prices...
  • CFSQP

  • Referenced in 59 articles [sw04658]
  • Minimax) Optimization Problems, Generating Iterates Satisfying All Inequality Constraints. CFSQP ... user is infeasible for some inequality constraint or some linear equality constraint, CFSQP first generates ... constraints. Nonlinear equality constraints are turned into inequality constraints (to be satisfied by all iterates ... each iteration after feasibility for nonlinear inequality and linear constraints has been reached (monotone line...
  • RSOLVER

  • Referenced in 67 articles [sw04334]
  • RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution ... inequality constraints to two dimensions, or parametric robust stability of linear differential equations...
  • PPL

  • Referenced in 86 articles [sw05357]
  • described by systems of constraints where strict inequalities are allowed to occur. This paper presents...
  • RAGlib

  • Referenced in 58 articles [sw00774]
  • real solving polynomial systems of equations and inequalities. RAGlib is a Maple package providing useful ... solutions of polynomial systems of equations and inequalities such as testing the emptiness or computing...
  • Kronecker

  • Referenced in 68 articles [sw00495]
  • solving systems of polynomial equations and inequations. It is a prototype resulting of a long...
  • CVRPSEP

  • Referenced in 32 articles [sw11809]
  • package contains separation routines for rounded capacity inequalities, homogeneous multistar inequalities, generalized multistar inequalities, framed ... capacity inequalities, strengthened comb inequalities, and hypotour inequalities. In addition, the package contains a routine...
  • Biq Mac

  • Referenced in 54 articles [sw10532]
  • semidefinite Max-Cut relaxation, strengthened by triangle inequalities. The expensive part of our bounding procedure...
  • ITIP

  • Referenced in 30 articles [sw17966]
  • MATLAB for verifying all Shannon-type information inequalities, namely those implied by the nonnegativity ... note that there exist established information inequalities which cannot be proved by ITIP. These ... called non-Shannon-type inequalities. Examples are the ones reported...
  • Omega

  • Referenced in 44 articles [sw11878]
  • problems in connection with linear homogeneous diophantine inequalities and equations, respectively. But as a matter...
  • levmar

  • Referenced in 43 articles [sw04809]
  • Both unconstrained and constrained (under linear equations, inequality and box constraints) Levenberg-Marquardt variants...