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