• GAP

  • Referenced in 3067 articles [sw00320]
  • system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides...
  • Tabu search

  • Referenced in 1059 articles [sw08556]
  • sophistication. We provide several examples of discrete optimization problems to illustrate the strategic concerns...
  • KELLEY

  • Referenced in 628 articles [sw04829]
  • introduces a parameter identification problem and a discretized optimal control problem, both of which ... using the parameter identification problem and the discretized optimal control problem introduced in chapter...
  • Regularization tools

  • Referenced in 725 articles [sw00797]
  • MATLAB package for Analysis and Solution of Discrete Ill-Posed Problems. Version 4.1. By means...
  • FFTW

  • Referenced in 516 articles [sw04126]
  • subroutine library for computing the discrete Fourier transform (DFT) in one or more dimensions ... well as of even/odd data, i.e. the discrete cosine/sine transforms or DCT/DST). We believe that...
  • SparseMatrix

  • Referenced in 682 articles [sw04629]
  • materials, acoustics, computer graphics/vision, robotics/kinematics, and other discretizations) and those that typically do not have...
  • UMDES

  • Referenced in 365 articles [sw09523]
  • routines written for the study of discrete event systems modeled by finite-state automata ... University of Michigan for failure diagnosis of discrete event systems. The book ”Introduction to Discrete ... consulted for an introduction to modeling of discrete event systems by FSA’s, manipulation ... theory of supervisory control of discrete event systems...
  • AMPL

  • Referenced in 604 articles [sw04001]
  • linear and nonlinear optimization problems, in discrete or continuous variables. Developed at Bell Laboratories, AMPL...
  • PRISM

  • Referenced in 434 articles [sw01186]
  • probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision processes...
  • FODE

  • Referenced in 286 articles [sw08377]
  • sense of Caputo derivative by discretizing the spatial derivatives and using the properties of Riemann ... alpha =1.0$ with the ones of directly discretizing classical Fokker-Planck equation, some numerical results...
  • IFISS

  • Referenced in 247 articles [sw04398]
  • incompressible flow problems. It includes algorithms for discretization by mixed finite element methods ... preconditioned iterative solvers for the discrete linear equation systems that arise in incompressible flow modelling ... addressed, it enables the study of both discretization and iterative solution algorithms as well...
  • HyTech

  • Referenced in 330 articles [sw04125]
  • specified as collections of automata with discrete and continuous components, and temporal requirements are verified...
  • DDE-BIFTOOL

  • Referenced in 326 articles [sw02396]
  • delay differential equations with several fixed discrete and/or state-dependent delays. It allows the computation...
  • Wesseling

  • Referenced in 323 articles [sw09677]
  • defect correction. Cell centered and vertex centered discretization and multigrid is included. Documentation is included...
  • Optimization Toolbox

  • Referenced in 293 articles [sw10828]
  • find optimal solutions to continuous and discrete problems, perform tradeoff analyses, and incorporate optimization methods...
  • ma2dfc

  • Referenced in 194 articles [sw20918]
  • Matrix approach to discretization of ODEs and PDEs of arbitrary real order. Functions illustrating matrix ... approach to discretization of ODEs / PDEs with fractional derivatives...
  • Algorithm 432

  • Referenced in 246 articles [sw25817]
  • applications to the direct solution of discrete Poisson equations [W. G. Bickley and J. McNamee...
  • MOD-DIST

  • Referenced in 245 articles [sw07504]
  • Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses...
  • MENU-OKF

  • Referenced in 245 articles [sw07505]
  • Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses...
  • SITATION

  • Referenced in 237 articles [sw07503]
  • Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses...