
PETSc
 Referenced in 1541 articles
[sw04012]
 MATLAB (sequential). PETSc provides many of the mechanisms needed within parallel application codes, such...

PVS
 Referenced in 629 articles
[sw03484]
 capture the stateoftheart in mechanized formal methods and to be sufficiently rugged...

HOL
 Referenced in 583 articles
[sw05492]
 automatically establish many simple theorems. An Oracle mechanism gives access to external programs such...

OpenFOAM
 Referenced in 543 articles
[sw04317]
 applications that simulate specific problems in engineering mechanics and over 170 utility applications that perform...

Mfree2D
 Referenced in 317 articles
[sw15725]
 stress and strain analysis in solid mechanics and structural mechanics subjected to static and/or dynamic ... Fourth Asia Pacific Conference on Computational Mechanics (APCOM 1999). The main features of MFree2D include...

FEAPpv
 Referenced in 492 articles
[sw10822]
 Finite Element Method for Solid and Structural Mechanics,6th ed., by O.C. Zienkiewicz...

COMSOL
 Referenced in 450 articles
[sw04091]
 fluid flow and heat transfer to structural mechanics and electromagnetic analyses. Material properties, source terms...

NuSMV
 Referenced in 309 articles
[sw04131]
 Checking group at Carnegie Mellon University , the Mechanized Reasoning Group at University of Genova ... Mechanized Reasoning Group at University of Trento. NuSMV is a reimplementation and extension...

TPTP
 Referenced in 394 articles
[sw04143]
 overview and a simple, unambiguous reference mechanism. A comprehensive list of references and other interesting...

XFEM
 Referenced in 382 articles
[sw01026]
 paradigm, we present 2D linear elastic fracture mechanics for hundreds of cracks with local near...

ABAQUS/Standard
 Referenced in 202 articles
[sw07161]
 engine cover mounting analysis including sophisticated gasket mechanics. Following the mounting analysis, the prestressed ... extracted, or the frequency domain mechanical and acoustic response of the prestressed cover...

CHEMKIN
 Referenced in 254 articles
[sw06684]
 important educational tool in chemical engineering, mechanical engineering and chemistry curricula...

CHARMM
 Referenced in 120 articles
[sw05953]
 CHARMM (Chemistry at HARvard Macromolecular Mechanics). CHARMM models the dynamics and mechanics of macromolecular systems ... using empirical and mixed empirical/quantum mechanical force fields. CHARMM is designed to investigate the structure ... conformational folding of peptides. It uses classical mechanical methods to investigate potential energy surfaces derived...

BVPh
 Referenced in 204 articles
[sw06575]
 postgraduates in applied mathematics, physics, nonlinear mechanics, finance and engineering...

GAUSSIAN
 Referenced in 194 articles
[sw06118]
 Starting from the basic laws of quantum mechanics, Gaussian predicts the energies, molecular structures...

HYPLAS
 Referenced in 194 articles
[sw17661]
 finite element simulation of the nonlinear mechanical behaviour of solids...

BEMECH
 Referenced in 118 articles
[sw10847]
 Boundary element programming in mechanics. With 1 CDROM (Windows, Macintosh and UNIX) The book ... boundary element method (BEM) in solid mechanics, beginning with basic theory and then explaining ... postgraduate students taking courses in engineering mechanics...

UNITY
 Referenced in 185 articles
[sw13461]
 coupled state transition systems. Mechanical methods for mapping the transition systems first into...

Scilab
 Referenced in 173 articles
[sw00834]
 Hybrid dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic circuits, control systems...