• 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 quasi-variational inequality test problems. Quasi-variational 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]
  • 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...
  • EMP

  • Referenced in 1 article [sw31823]
  • with equilibrium constraints (MOPEC), or quasi-variational 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...
  • ADOL-C

  • Referenced in 225 articles [sw00019]
  • ADOL-C: 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...