
GAP
 Referenced in 3221 articles
[sw00320]
 system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... rings, vector spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely...

LMI toolbox
 Referenced in 1468 articles
[sw06383]
 ranging from control engineering to system identification and structural design. The LMI Control Toolbox implements...

ABAQUS
 Referenced in 1616 articles
[sw04215]
 dynamic vibration, multibody systems, impact/crash, nonlinear static, thermal coupling, and acousticstructural coupling using...

INTLAB
 Referenced in 472 articles
[sw04004]
 methods for dense linear systems (also inner inclusions and structured matrices) sparse s.p.d. linear systems ... systems of nonlinear equations (including unconstrained optimization) roots of univariate and multivariate nonlinear equations (simple ... simple and clusters, also inner inclusions and structured matrices) generalized eigenvalue problems (simple and clusters ... mode, vectorized computations, fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large, wellsupported software package designed for computations ... rigorous environment for defining and working with structures such as groups, rings, fields, modules, algebras ... extensive documentation describing the features of the system. This handbook is available online. The documentation...

XFEM
 Referenced in 391 articles
[sw01026]
 This paper presents and exercises a general structure for an objectorientedenriched finite element ... modular and extensible system. The programme structure has been designed to meet all natural requirements...

PHCpack
 Referenced in 236 articles
[sw00705]
 polynomial systems by homotopy continuation. Polynomial systems occur in a wide variety of application domains ... been accomplished on exploiting structure in a polynomial system, in particular its sparsity. In this...

PARDISO
 Referenced in 295 articles
[sw00679]
 solving large sparse symmetric and unsymmetric linear systems of equations on sharedmemory and distributed ... library version: Unsymmetric, structurally symmetric or symmetric systems, real or complex, positive definite or indefinite...

Uppaal
 Referenced in 658 articles
[sw04702]
 University in Sweden. It is appropriate for systems that can be modeled as a collection ... deterministic processes with finite control structure and realvalued clocks, communicating through channels or shared...

SAS/STAT
 Referenced in 438 articles
[sw18788]
 SAS/STAT software, a component of the SAS System, provides comprehensive statistical tools for a wide ... models, generalized linear models, correspondence analysis, and structural equations...

GAUSSIAN
 Referenced in 202 articles
[sw06118]
 predicts the energies, molecular structures, and vibrational frequencies of molecular systems, along with numerous molecular ... such as shortlived intermediates and transition structures...

CHEVIE
 Referenced in 239 articles
[sw04235]
 other related structures. It is based on the computer algebra systems GAP, and MAPLE. Computer...

Miranda
 Referenced in 153 articles
[sw04986]
 polymorphic type system and (ii) a library structure with type secure facilities for separate compilation ... with a discussion of the type system and in particular the facilities for userdefined types...

LYAPACK
 Referenced in 66 articles
[sw12624]
 problems related to large sparse or structured dynamical systems before 1990. In the last...

Seigtool
 Referenced in 59 articles
[sw07021]
 Structured EigTool Structured singular values and pseudospectra play an important role ... assessing the properties of a linear system under structured perturbations. Structured Eigtool is a free...

LiE
 Referenced in 165 articles
[sw01075]
 structure of their Weyl groups and root systems. LiE does not compute directly with elements...

Firedrake
 Referenced in 114 articles
[sw14923]
 accomplished by the PyOP2 system. The global mesh data structures, as well as linear...

Mu Analysis and Synthesis Toolbox
 Referenced in 110 articles
[sw19506]
 analysis and synthesis of control systems, with an emphasis on quantifying the effects of uncertainty ... consistent set of data structures for the unified treatment of systems in either a time...

SIGNAL
 Referenced in 52 articles
[sw02915]
 extremely modular implementation of complex systems by structurally decomposing them into elementar synchronous processes. Separate ... compilation of the functional components of reactive systems while preserving their global integrity, we introduce...

ABINIT
 Referenced in 53 articles
[sw06111]
 total energy, charge density and electronic structure of systems made of electrons and nuclei (molecules...