
OPECgen
 Referenced in 19 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 13 articles
[sw07063]
 QVILIB: A library of quasivariational inequality test problems Quasivariational inequalities (QVIs...

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

Siconos
 Referenced in 8 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...

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

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

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

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

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

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

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

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

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

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

Isabelle
 Referenced in 518 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

ISOGAT
 Referenced in 186 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

KNITRO
 Referenced in 145 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...