• SINGULAR

  • Referenced in 1029 articles [sw00866]
  • Based on an easy-to-use interactive shell and a C-like programming language, SINGULAR...
  • VAMPIRE

  • Referenced in 178 articles [sw02918]
  • order classical logic. It consists of a shell and a kernel. The kernel implements ... works only with clausal normal forms, the shell accepts a problem in the full first...
  • CUTE

  • Referenced in 163 articles [sw14681]
  • information. There is a Unix and C shell bias to many of the descriptions...
  • PERL

  • Referenced in 132 articles [sw01225]
  • language or one of the shells. While this book is primarily intended for users...
  • FEAP

  • Referenced in 116 articles [sw04963]
  • three dimensional frame (rod/beam) elements, plate and shell elements, and multiple rigid body options with...
  • BlackHat

  • Referenced in 50 articles [sw10450]
  • Automated implementation of on-shell methods for one-loop amplitudes. We present the first results ... program implements the unitarity method and on-shell recursion to construct amplitudes. As input ... make use of recently developed on-shell methods for evaluating coefficients of loop integrals, introducing...
  • DYNA3D

  • Referenced in 71 articles [sw17036]
  • several computer platforms. DYNA3D includes solid, shell, beam, and truss elements to allow maximum flexibility...
  • Matplotlib

  • Referenced in 61 articles [sw06590]
  • python scripts, the python and ipython shell (ala MATLAB®* or Mathematica®†), web application servers...
  • TRIC

  • Referenced in 36 articles [sw02165]
  • node shear-deformable isotropic and composite flat shell element suitable for large-scale linear ... thin and thick anisotropic plate and complex shell structures. Its stiffness matrix is based ... modes as they apply to the triangular shell element. A wide range of numerical examples...
  • HDECAY

  • Referenced in 33 articles [sw00401]
  • formulae for Higgs boson decays into off-shell particles. All other decay widths are calculated ... analytically. The transition between off-shell and on-shell decays is performed by a linear...
  • CARAT

  • Referenced in 39 articles [sw04293]
  • environment, but relies on the ordinary unixes shell and files for input and output. This...
  • PANDA

  • Referenced in 33 articles [sw01122]
  • weight design of stiffened cylindrical panels and shells. An analysis and an interactive computer program...
  • BERGMAN

  • Referenced in 20 articles [sw02980]
  • computer algebra package BERGMAN -- an interface shell that simplifies the usage of the system ... interface. Then we show how the shell solves those problems. At last we describe ... more details how to use the shell and comment its additional possibilities and future development...
  • SIMATH

  • Referenced in 30 articles [sw00861]
  • UNIX systems. SIMATH comes with a shell SM and is equipped with an interactive calculator...
  • LFA

  • Referenced in 30 articles [sw19092]
  • Oseen and Stokes equations, a linear shell problem and elasticity systems. The book enables understanding...
  • Herwig++

  • Referenced in 23 articles [sw10350]
  • where possible including spin correlations and off-shell effects...
  • IPython

  • Referenced in 22 articles [sw15655]
  • interactive computing with: A powerful interactive shell. A kernel for Jupyter. Support for interactive data...
  • STAGS

  • Referenced in 9 articles [sw17042]
  • STAGS (STructural Analysis of General Shells [1-7]) is a finite element code for general ... purpose nonlinear analysis of stiffened shell structures of arbitrary shape and complexity. Its capabilities include ... enhancements, such as a higher order thick shell element, more advanced nonlinear solution strategies ... evaluation of stiffened panels and shells loaded well into their locally post-buckled states...
  • BOSOR5

  • Referenced in 16 articles [sw01182]
  • program for buckling of elastic-plastic complex shells of revolution including large deflections and creep...
  • MUL2

  • Referenced in 16 articles [sw06169]
  • MULtilayered problems for MULtilayered structures: Plates and shells for smart structures. Classical and advanced theories...