• LMI toolbox

  • Referenced in 1445 articles [sw06383]
  • should be kept in mind that the complexity of LMI computations remains higher than that ... instance, problems with a thousand design variables typically take over an hour on today...
  • Tensorlab

  • Referenced in 62 articles [sw14255]
  • nonlinear-least squares optimization with complex variables including numerical complex differentiation, global minimization of bivariate...
  • INTLAB

  • Referenced in 447 articles [sw04004]
  • very fast) interval arithmetic for real and complex sparse matrices (very fast) automatic differentiation (forward ... automatic slopes (sequential approach, slow for many variables) verified integration of (simple) univariate functions univariate ... functions (fast, very accurate,  3 ulps) rigorous complex interval standard functions (fast, rigorous...
  • Complex Optimization Toolbox

  • Referenced in 26 articles [sw14744]
  • MATLAB toolbox for optimizing problems in complex variables, although real optimization is also possible ... vector-, matrix- or tensor-valued residual functions, complex bound constraints, Levenberg–Marquardt and Gauss–Newton...
  • Cephes

  • Referenced in 17 articles [sw11654]
  • language standard C9X data type for complex variables, header complex.h for GNU C and functions...
  • WENO

  • Referenced in 54 articles [sw12694]
  • coordinate variables, thus reducing the computational complexity to two dimensions in phase space and dramatically...
  • SaddleDrop

  • Referenced in 14 articles [sw00824]
  • program draws parameter space pictures for the complex Henon map. The difficulty of this task ... well-developed theory of one variable complex dynamics with the two variable Henon case...
  • Gerris

  • Referenced in 304 articles [sw00341]
  • main features: Solves the time-dependent incompressible variable-density Euler, Stokes or Navier-Stokes equations ... flow Entirely automatic mesh generation in complex geometries Second-order in space and time Unlimited...
  • OpenBUGS

  • Referenced in 75 articles [sw08316]
  • almost) arbitrary complexity, by simply stating the relationships between related variables. The software includes...
  • OSCAR

  • Referenced in 49 articles [sw03026]
  • variable selection techniques in terms of both prediction error and model complexity, while yielding...
  • SLRA

  • Referenced in 24 articles [sw11262]
  • problem are solved by the variable projection method. Optimization methods are implemented in publicly available ... interface to MATLAB. Results on computational complexity are presented...
  • Cityscapes

  • Referenced in 11 articles [sw36624]
  • however, no current dataset adequately captures the complexity of real-world urban scenes. To address ... dataset size, annotation richness, scene variability, and complexity. Our accompanying empirical study provides...
  • CVBEM

  • Referenced in 5 articles [sw09603]
  • using program Mathematica. The well-known complex variable boundary element method (CVBEM) is extended ... determining values of the CVBEM basis function complex coefficients by collocation at evaluation points defined...
  • REVEAL

  • Referenced in 28 articles [sw36999]
  • infer a complex regulatory network architecture from input/output patterns of its variables? We investigated this ... problem may enable in-depth analysis of complex dynamic systems in biology and other fields...
  • NiVER

  • Referenced in 18 articles [sw06958]
  • problem, Variable Elimination Resolution, has exponential space complexity. To tackle that, the backtracking-based DPLL ... special case of VER, to eliminate some variables in a preprocessing step, and then solve...
  • Modelica

  • Referenced in 115 articles [sw04352]
  • object-oriented language for modeling of large, complex, and heterogeneous systems. It is suited ... differential, algebraic and discrete equations. No particular variable needs to be solved for manually...
  • KeYmaera

  • Referenced in 42 articles [sw03709]
  • verification process, KeYmaera implements a generalized free-variable sequent calculus and automatic proof strategies that ... hybrid system specification symbolically. To overcome the complexity of real arithmetic, we integrate real quantifier...
  • PTSC

  • Referenced in 6 articles [sw13692]
  • PTSC: probability, time and shared-variable concurrency. Complex software systems typically involve features like time ... concurrency feature is modelled using shared-variable-based communication. The probability feature is represented...
  • ROCKET

  • Referenced in 11 articles [sw30016]
  • transelliptical graphical models. Understanding complex relationships between random variables is of fundamental importance in high...
  • DEFORM-3D

  • Referenced in 3 articles [sw10259]
  • analyze the three-dimensional (3D) flow of complex metal forming processes. DEFORM ... supports user routines and user defined variables. Complex multiple deforming body capability with arbitrary contact...