
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 10 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 225 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

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

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

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

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

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

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

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

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

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