
SINGULAR
 Referenced in 1062 articles
[sw00866]
 Based on an easytouse interactive shell and a Clike programming language, SINGULAR...

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

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

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

BlackHat
 Referenced in 52 articles
[sw10450]
 Automated implementation of onshell methods for oneloop amplitudes. We present the first results ... program implements the unitarity method and onshell recursion to construct amplitudes. As input ... make use of recently developed onshell methods for evaluating coefficients of loop integrals, introducing...

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

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

TRIC
 Referenced in 37 articles
[sw02165]
 node sheardeformable isotropic and composite flat shell element suitable for largescale 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 35 articles
[sw00401]
 formulae for Higgs boson decays into offshell particles. All other decay widths are calculated ... analytically. The transition between offshell and onshell 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...

LFA
 Referenced in 32 articles
[sw19092]
 Oseen and Stokes equations, a linear shell problem and elasticity systems. The book enables understanding...

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

Herwig++
 Referenced in 26 articles
[sw10350]
 where possible including spin correlations and offshell effects...

IPython
 Referenced in 25 articles
[sw15655]
 interactive computing with: A powerful interactive shell. A kernel for Jupyter. Support for interactive data...

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

STAGS
 Referenced in 9 articles
[sw17042]
 STAGS (STructural Analysis of General Shells [17]) 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 postbuckled states...

BOSOR5
 Referenced in 16 articles
[sw01182]
 program for buckling of elasticplastic complex shells of revolution including large deflections and creep...