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

OPECgen
 Referenced in 20 articles
[sw13463]
 programs with quadratic objectives and affine variational inequality constraints. We describe a technique for generating ... given by a parametric affine variational inequality or one of its specialisations. The generator, written...

QVILIB
 Referenced in 15 articles
[sw07063]
 QVILIB: A library of quasivariational inequality test problems. Quasivariational inequalities (QVIs...

Siconos
 Referenced in 12 articles
[sw25724]
 state constraints), Optimization (Complementarity systems and Variational inequalities), Fluid Mechanics, and Computer Graphics...

PathAVI
 Referenced in 1 article
[sw23744]
 structurepreserving pivotal method for affine variational inequalities. Affine variational inequalities (AVI) are an important...

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

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

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

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