• OPECgen

  • Referenced in 20 articles [sw13463]
  • programs with quadratic objectives and affine variational inequality constraints. We describe a technique for generating ... constraints are given by a parametric affine variational inequality or one of its specialisations...
  • ADOL-C

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

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

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

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

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

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

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

  • Referenced in 573 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • ISOGAT

  • Referenced in 206 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...
  • KNITRO

  • Referenced in 160 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • Kronecker

  • Referenced in 101 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LANCELOT

  • Referenced in 269 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1544 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 324 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Magma

  • Referenced in 2565 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 4797 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5376 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 10903 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NEWUOA

  • Referenced in 74 articles [sw00618]
  • NEWUOA is a software developped by M.J.D. Powell...