
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 physicsbased 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 spaceefficient discreteevent...

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...

PDENet
 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 multiagent systems in AgentSpeak using Jason. Jason is an Open Source interpreter ... enables users to build complex multiagent 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...