• ADOL-C

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

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

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

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

  • Referenced in 34 articles [sw00149]
  • COMPlib: COnstraint matrix-optimization problem library–a collection...
  • Coq

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

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Diffpack

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

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

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

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LGO

  • Referenced in 96 articles [sw00516]
  • The program system LGO serves to solve global...
  • Maple

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

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

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

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NEWUOA

  • Referenced in 96 articles [sw00618]
  • NEWUOA is a software developped by M.J.D. Powell...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • PSwarm

  • Referenced in 68 articles [sw00742]
  • PSwarm: a hybrid solver for linearly constrained global...