
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...

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

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

ADOLC
 Referenced in 244 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 665 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

Coq
 Referenced in 1828 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 43 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 135 articles
[sw00344]
 The gfun package provides tools for determining and...

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

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