• 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 17 articles [sw07063]
• QVILIB: A library of quasi-variational inequality test problems. Quasi-variational inequalities (QVIs...

• Siconos

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

• EMP

• Referenced in 3 articles [sw31823]
• with equilibrium constraints (MOPEC), or quasi-variational inequalities (QVI) in modeling languages...

• PathAVI

• Referenced in 1 article [sw23744]
• structure-preserving 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 ... finite-dimensional 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...

• ADOL-C

• Referenced in 249 articles [sw00019]
• ADOL-C: Automatic Differentiation of C/C++. We present...

• ALBERT

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

• ANSYS

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

• ACL2

• Referenced in 283 articles [sw00060]
• ACL2 is both a programming language in which...

• BARON

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

• Coq

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

• CSDP

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

• Diffpack

• Referenced in 115 articles [sw00203]
• As modern programming methodologies migrate from computer science...

• EIGIFP

• Referenced in 46 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 144 articles [sw00344]
• The gfun package provides tools for determining and...

• Gmsh

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