• Gandalf

  • Referenced in 34 articles [sw10133]
  • prove theorems in mathematics and verify complex systems such as digital circuits, software and communications...
  • PHCpack

  • Referenced in 215 articles [sw00705]
  • polynomial systems by homotopy continuation. Polynomial systems occur in a wide variety of application domains ... compute numerically approximations to all isolated complex solutions. During the last decade considerable progress ... accomplished on exploiting structure in a polynomial system, in particular its sparsity. In this paper...
  • BARON

  • Referenced in 316 articles [sw00066]
  • BARON is a computational system for solving nonconvex optimization problems to global optimality. Purely continuous ... through the hills and valleys of complex optimization problems in search of global solutions...
  • PicHunter

  • Referenced in 53 articles [sw14896]
  • easily be incorporated into systems which support complex queries, including most previously proposed systems. However...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • logic and probabilistic analysis of complex systems. Smart can combine different formalisms in the same...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • describing the behaviour of discrete event systems. The language combines conventional programming constructs - such ... exception handling - with means to describe complex systems in a compositional manner. In addition, MoDeST...
  • AToM3

  • Referenced in 32 articles [sw10092]
  • facilitate computer assisted modelling of complex systems. The approach allows one to model different parts...
  • Adams

  • Referenced in 46 articles [sw06593]
  • loads and forces are distributed throughout mechanical systems, and to improve and optimize the performance ... true physics-based dynamics of complex mechanical systems. FEA is suited for studying linear vibration...
  • Möbius

  • Referenced in 24 articles [sw04098]
  • tool for modeling the behavior of complex systems. Although it was originally developed for studying ... techniques best suited to the systems’ size and complexity. Time- and space-efficient discrete-event...
  • MPSalsa

  • Referenced in 24 articles [sw06960]
  • applications require a detailed analysis of complex systems with coupled fluid flow, thermal energy transfer ... simulations of these complex reacting flow problems are limited to idealized systems...
  • SystemC

  • Referenced in 41 articles [sw07807]
  • that enables rapid development of complex hardware/software systems. This book focuses on the practical uses...
  • ScaLAPACK

  • Referenced in 404 articles [sw00830]
  • solution of dense, band, and tridiagonal linear systems of equations, condition estimation and iterative refinement ... precision real, double precision real, single precision complex, and double precision complex. The software ... clusters of workstations, and any system for which PVM or MPI is available.\parEach Users...
  • PDE-Net

  • Referenced in 26 articles [sw36963]
  • time: to accurately predict dynamics of complex systems and to uncover the underlying hidden...
  • SPOOLES

  • Referenced in 38 articles [sw04651]
  • library for solving sparse real and complex linear systems of equations, written...
  • Jason

  • Referenced in 62 articles [sw06187]
  • Programming multi-agent systems in AgentSpeak using Jason. Jason is an Open Source interpreter ... enables users to build complex multi-agent systems that are capable of operating in environments...
  • UMFPACK

  • Referenced in 369 articles [sw00989]
  • matrix, computing the numerical factorization, solving a system with the LU factors, transposing and permuting ... user from the details of the complex sparse factorization data structures by returning simple handles...
  • CSparse

  • Referenced in 197 articles [sw20382]
  • encounter problems requiring the solution of sparse systems of linear equations. Attacking these problems efficiently ... tools necessary to understand larger and more complex software packages.par With a strong emphasis ... programming language, Direct Methods for Sparse Linear Systems equips readers with the working knowledge required...
  • BacSim

  • Referenced in 21 articles [sw17261]
  • cells – to the properties of macroscopic, complex systems such as biofilms. Here, the growth...
  • OptQuest

  • Referenced in 19 articles [sw06512]
  • applications that require the optimization of complex systems that may or may not utilize simulation...
  • LiE

  • Referenced in 151 articles [sw01075]
  • focuses on the representation theory of complex semisimple (reductive) Lie groups and algebras ... structure of their Weyl groups and root systems. LiE does not compute directly with elements...