• SINGULAR

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

  • Referenced in 187 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 173 articles [sw14681]
  • information. There is a Unix and C shell bias to many of the descriptions...
  • PERL

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

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

  • Referenced in 53 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 82 articles [sw17036]
  • several computer platforms. DYNA3D includes solid, shell, beam, and truss elements to allow maximum flexibility...
  • Matplotlib

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

  • Referenced in 42 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 36 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...
  • LFA

  • Referenced in 33 articles [sw19092]
  • Oseen and Stokes equations, a linear shell problem and elasticity systems. The book enables understanding...
  • 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...
  • IPython

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

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

  • Referenced in 25 articles [sw02957]
  • examples, including medical applications and thin-shell animations...
  • knitr

  • Referenced in 24 articles [sw11224]
  • there is simple support to Python and shell scripts, etc). Many features are borrowed from...
  • STAGS

  • Referenced in 10 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...