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

Tabu search
 Referenced in 965 articles
[sw08556]
 sophistication. We provide several examples of discrete optimization problems to illustrate the strategic concerns...

KELLEY
 Referenced in 545 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 565 articles
[sw00797]
 MATLAB package for Analysis and Solution of Discrete IllPosed Problems. Version 4.1. By means...

UMDES
 Referenced in 289 articles
[sw09523]
 routines written for the study of discrete event systems modeled by finitestate 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...

FFTW
 Referenced in 375 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...

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

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

PRISM
 Referenced in 358 articles
[sw01186]
 probabilistic systems. PRISM supports three probabilistic models: discretetime Markov chains, Markov decision processes...

HyTech
 Referenced in 304 articles
[sw04125]
 specified as collections of automata with discrete and continuous components, and temporal requirements are verified...

Wesseling
 Referenced in 277 articles
[sw09677]
 defect correction. Cell centered and vertex centered discretization and multigrid is included. Documentation is included...

IFISS
 Referenced in 163 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...

Optimization Toolbox
 Referenced in 234 articles
[sw10828]
 find optimal solutions to continuous and discrete problems, perform tradeoff analyses, and incorporate optimization methods...

DDEBIFTOOL
 Referenced in 233 articles
[sw02396]
 delay differential equations with several fixed discrete and/or statedependent delays. It allows the computation...

MODDIST
 Referenced in 208 articles
[sw07504]
 Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses...

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

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

Algorithm 432
 Referenced in 191 articles
[sw25817]
 applications to the direct solution of discrete Poisson equations [W. G. Bickley and J. McNamee...

ns2
 Referenced in 180 articles
[sw11690]
 Network Simulator  ns2. Ns is a discrete event simulator targeted at networking research...

GOLOG
 Referenced in 160 articles
[sw02159]
 robots and industrial processes, intelligent software agents, discrete event simulation, etc. It is based...