• CARAT

  • Referenced in 45 articles [sw04293]
  • CARAT is a computer package which handles enumeration...
  • FEniCS

  • Referenced in 850 articles [sw04314]
  • The FEniCS Project is a collaborative project for...
  • Simulink

  • Referenced in 820 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • Qhull

  • Referenced in 332 articles [sw04419]
  • The convex hull of a point set P...
  • CVX

  • Referenced in 849 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • YALMIP

  • Referenced in 1057 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Mosek

  • Referenced in 500 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • TRON

  • Referenced in 116 articles [sw04714]
  • TRON is a trust region Newton method for...
  • MPT

  • Referenced in 235 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • SDPLR

  • Referenced in 148 articles [sw04745]
  • SDPLR is an ANSI C package developed S...
  • NewtonLib

  • Referenced in 310 articles [sw04796]
  • Numerical Mathematics - NewtonLib. Software repository for Peter Deuflhards...
  • Ipopt

  • Referenced in 787 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • mctoolbox

  • Referenced in 1521 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • KELLEY

  • Referenced in 643 articles [sw04829]
  • Iterative methods for optimization This book gives an...
  • LIBSVM

  • Referenced in 1200 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • LLVM

  • Referenced in 88 articles [sw04892]
  • The LLVM Project is a collection of modular...