
GAMS
 Referenced in 842 articles
[sw04978]
 integer optimization problems. The system is especially useful with large, complex problems. GAMS is available ... problem by making the setup simple. The system takes care of the timeconsuming details ... machine and system software implementation. GAMS is especially useful for handling large, complex ... revisions to establish an accurate model. The system models problems in a highly compact...

Kronos
 Referenced in 263 articles
[sw01270]
 with the aim to verify complex realtime systems. Realtime systems are systems that ... timedependent systems. These systems are often part of complex safetycritical applications such ... have severe consequences. Hence, realtime systems need to be rigorously modeled and specified...

PARDISO
 Referenced in 270 articles
[sw00679]
 Unsymmetric, structurally symmetric or symmetric systems, real or complex, positive definite or indefinite, hermitian ... solution process for very large threedimensional systems...

PHAVer
 Referenced in 113 articles
[sw04123]
 limited in its applicability to more complex systems. We address the main problems of HyTech ... deﬁnable constraints and the dynamics of the system. PHAVer’s exact arithmetic is robust ... supports arbitrarily large numbers. To manage the complexity of the polyhedral computations, we propose methods...

Neural Network Toolbox
 Referenced in 175 articles
[sw07378]
 provides functions and apps for modeling complex nonlinear systems that are not easily modeled with...

K2
 Referenced in 100 articles
[sw19597]
 TOCSY  Toolboxes for Complex Systems: K2  Dynamical Invariants by Recurrence Plots. Recurrence plots contain information...

INTLAB
 Referenced in 426 articles
[sw04004]
 structured matrices) sparse s.p.d. linear systems systems of nonlinear equations (including unconstrained optimization) roots ... clusters) interval arithmetic for real and complex data including vectors and matrices (very fast) interval ... arithmetic for real and complex sparse matrices (very fast) automatic differentiation (forward mode, vectorized computations ... fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization) Taylor series...

LMI toolbox
 Referenced in 1429 articles
[sw06383]
 areas ranging from control engineering to system identification and structural design. The LMI Control Toolbox ... should be kept in mind that the complexity of LMI computations remains higher than that...

IF2.0
 Referenced in 46 articles
[sw03303]
 recognised that the automated validation of complex systems can hardly be achieved without tool integration ... semantics of realtime primitives for asynchronous systems. Currently, the toolbox contains dedicated tools ... mandatory for an automated validation of complex systems. Finally, the toolbox was successfully used ... specifications. This is too restrictive for complex system specifications which mix formal descriptions and executable...

SIGNAL
 Referenced in 51 articles
[sw02915]
 design of dependable realtime systems. Synchronous languages enable a very highlevel specification ... extremely modular implementation of complex systems by structurally decomposing them into elementar synchronous processes. Separate ... their global integrity, we introduce a module system for SIGNAL. Just as datatypes describe ... processes and for assembling them in complex systems. Following this principle, we present the first...

LAPACK
 Referenced in 1642 articles
[sw00503]
 linear equations, leastsquares solutions of linear systems of equations, eigenvalue problems, and singular value ... similar functionality is provided for real and complex matrices, in both single and double precision ... matrix multiplication and the solution of triangular systems with multiple righthand sides. Because...

MUMPS
 Referenced in 439 articles
[sw04013]
 systems with symmetric positive definite matrices; general symmetric matrices; general unsymmetric matrices; Version for complex...

Fuzzy Logic Toolbox
 Referenced in 57 articles
[sw07379]
 through the steps of designing fuzzy inference systems. Functions are provided for many common methods ... learning. The toolbox lets you model complex system behaviors using simple logic rules, and then...

UFL
 Referenced in 56 articles
[sw11183]
 effortlessly express finite element methods for complex systems of partial differential equations in nearmathematical...

Dymola
 Referenced in 51 articles
[sw06285]
 modeling and simulation of integrated and complex systems for use within automotive, aerospace, robotics, process...

Gephi
 Referenced in 48 articles
[sw12110]
 kinds of networks and complex systems, dynamic and hierarchical graphs. Runs on Windows, Linux...

Modelica
 Referenced in 93 articles
[sw04352]
 language for modeling of large, complex, and heterogeneous systems. It is suited for multidomain...

KLEE
 Referenced in 43 articles
[sw04894]
 Generation of HighCoverage Tests for Complex Systems Programs. Symbolic execution tool, KLEE, capable ... high coverage on a diverse set of complex and environmentallyintensive programs. We used KLEE ... level environment installed on millions of Unix systems, and arguably are the single most heavily...

CVX
 Referenced in 720 articles
[sw04594]
 modeling system for constructing and solving disciplined convex programs (DCPs). CVX supports a number ... SDPs). CVX can also solve much more complex convex optimization problems, including many involving nondifferentiable...

MPI
 Referenced in 500 articles
[sw06496]
 sufficient. Higherdimensional extensions of generalized complex numbers, with multiple nonreal parts, can produce ... that multiplication is commutative. One particular number system is developed, termed hyperdual numbers, which...