• OPTCON

  • Referenced in 14 articles [sw02660]
  • stochastic parameter vector in the system equations. The first step consists in approximating the time ... Then the key idea is to use Bellman’s principle of optimality to solve...
  • OptimalAdvertising

  • Referenced in 1 article [sw19645]
  • dynamics is given by a nonlinear difference equation. The non-linearity depends on a parameter ... control problem can be solved explicitly. The Bellman method of dynaming programming is used ... obtained under the assumption that the difference equation of the model has a solution. Sufficient...
  • HSL

  • Referenced in 238 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Mathematica

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

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

  • Referenced in 257 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • PARDISO

  • Referenced in 234 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • R

  • Referenced in 6934 articles [sw00771]
  • R is a language and environment for statistical...
  • TOMP

  • Referenced in 22 articles [sw00971]
  • Algorithm 733: TOMP - Fortran modules for optimal control...
  • UMFPACK

  • Referenced in 302 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • PRISM

  • Referenced in 387 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • Duali

  • Referenced in 25 articles [sw01245]
  • The Duali/Dualpc software system is designed to solve...
  • FreeFem++

  • Referenced in 841 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • MRMC

  • Referenced in 66 articles [sw04129]
  • The ins and outs of the probabilistic model...
  • DIMSYM

  • Referenced in 72 articles [sw04279]
  • Dimsym is a program primarily for the determination...
  • CVX

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

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

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

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

  • Referenced in 48 articles [sw04742]
  • A new trust region technique for the maximum...