• Spheno

• Referenced in 62 articles [sw09544]
• high scale theory, such as minimal supergravity, gauge mediated supersymmetry breaking, anomaly mediated supersymmetry breaking...

• STRINGVACUA

• Referenced in 42 articles [sw00920]
• derived or inspired four-dimensional N=1 supergravities. The package uses powerful algebro-geometric methods...

• M-Theory

• Referenced in 12 articles [sw34680]
• research problems in M-Theory / Superstring Theory / Supergravity / Quantum Gravity. Broadly speaking, M-Theory...

• SUPERGRAV

• Referenced in 2 articles [sw15670]
• SUPERGRAV – a REDUCE-package for Bose–Fermi exterior calculus and the construction of supergravity actions ... REDUCE 3.2, for the construction of supergravity actions. As illustrative examples, some calculations ... supergravity are performed...

• GRAMA

• Referenced in 1 article [sw28385]
• program for analytical calculations in ten-dimensional supergravity. ”GRAMA” is a Mathematica package for doing ... dimensional (D=10) simple (N=1) supergravity. The main new ingredients of this package inside ... used for calculations in 4-dimensional supergravity. With the help of this package we were ... Lagrangian for the 10-D supergravity including superstring corrections (see hep-th/9507033) - a calculation...

• SPICE

• Referenced in 2 articles [sw14773]
• standard supersymmetric models, including minimal supergravity, minimal gauge-mediated supersymmetry breaking, and anomaly-mediated supersymmetry...

• GammaMaP

• Referenced in 2 articles [sw28384]
• conditions for AdS3 compactification of type IIB supergravity from literature, and check the vanishing...

• ADOL-C

• Referenced in 249 articles [sw00019]
• ADOL-C: Automatic Differentiation of C/C++. We present...

• Cadabra

• Referenced in 91 articles [sw00097]
• Cadabra is a powerful computer program for the...

• FeynHiggs

• Referenced in 45 articles [sw00282]
• FeynHiggs: a program for the calculation of MSSM...

• gmp

• Referenced in 282 articles [sw00363]
• GMP is a free library for arbitrary precision...

• Invar

• Referenced in 35 articles [sw00446]
• The Invar Tensor Package. The Invar package is...

• Macaulay2

• Referenced in 1923 articles [sw00537]
• Macaulay2 is a software system devoted to supporting...

• Magma

• Referenced in 3315 articles [sw00540]
• Computer algebra system (CAS). Magma is a large...

• Mathematica

• Referenced in 6355 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

• Referenced in 13544 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• Maxima

• Referenced in 170 articles [sw00560]
• Maxima is a system for the manipulation of...

• PALP

• Referenced in 70 articles [sw00672]
• We describe our package PALP of C programs...

• Riegeom

• Referenced in 16 articles [sw00805]
• The Riegeom package: abstract tensor calculation This paper...

• RunDec

• Referenced in 37 articles [sw00818]
• RunDec: a Mathematica package for running and decoupling...