
Modulef
 Referenced in 39 articles
[sw01072]
 timedependent thermal problems and dynamic problems; variational inequalities; Solution of the Dirichlet problem...

QVILIB
 Referenced in 15 articles
[sw07063]
 QVILIB: A library of quasivariational inequality test problems. Quasivariational inequalities (QVIs ... especially tailored to very particular classes of problems, or are investigated mainly from a theoretical...

OPECgen
 Referenced in 20 articles
[sw13463]
 programs with quadratic objectives and affine variational inequality constraints. We describe a technique for generating ... quadratic MPEC, that is an optimization problem whose objective function is quadratic, firstlevel constraints ... given by a parametric affine variational inequality or one of its specialisations. The generator, written ... monotonicity and symmetry of the secondlevel problem, and so on. We believe these properties...

VariationalInequality
 Referenced in 1 article
[sw20365]
 VariationalInequality.jl Solving variational inequality problems, modeling via JuMP. This package implements solution algorithms for solving ... finitedimensional variational inequality (VI) problems. This package is an extension of the JuMP.jl package...

pathampl
 Referenced in 1 article
[sw05080]
 have been formulating nonlinear variational inequalities as mixed complementarity problems within modeling languages such...

PathAVI
 Referenced in 1 article
[sw23744]
 affine variational inequalities. Affine variational inequalities (AVI) are an important problem class that subsumes systems...

EMP
 Referenced in 1 article
[sw31823]
 GNEP), multiple optimization problems with equilibrium constraints (MOPEC), or quasivariational inequalities (QVI) in modeling...

ADOLC
 Referenced in 239 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ALBERT
 Referenced in 82 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

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

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

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

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

Diffpack
 Referenced in 114 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

EIGIFP
 Referenced in 41 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

gfun
 Referenced in 133 articles
[sw00344]
 The gfun package provides tools for determining and...

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

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