
SINGULAR
 Referenced in 1102 articles
[sw00866]
 Based on an easytouse interactive shell and a Clike 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 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 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 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 36 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...

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 offshell effects...

CHARMS
 Referenced in 25 articles
[sw02957]
 examples, including medical applications and thinshell 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 [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...