• 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 state-of-the-art 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 pre-stressed ... extracted, or the frequency domain mechanical and acoustic response of the pre-stressed cover...

• CHEMKIN

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

• Differentiation Matrix Suite

• Referenced in 249 articles [sw12762]
• fields of special functions, quantum mechanics, nonlinear waves, and hydrodynamic stability...

• 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 CD-ROM (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...