• 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 acoustic-structural 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, well-supported 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 object-oriented-enriched 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 shared-memory 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 real-valued 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 short-lived 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...