
Spheno
 Referenced in 52 articles
[sw09544]
 mediated supersymmetry breaking, or string effective field theories. An interface exists for an easy implementation ... other models. The program solves the renormalization group equations numerically to twoloop order with...

DifferentialGeometry
 Referenced in 26 articles
[sw07593]
 tools for differential geometry, gravitation, and field theory. DifferentialGeometry is a Maple software package which ... tensor calculus, spinor calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the variational ... solving research problems in gravitation and field theory. The purpose of this paper ... applications involving: Killing vector fields and isometry groups, Killing tensors, algebraic classification of solutions...

Mathematical Components
 Referenced in 4 articles
[sw30935]
 repository includes the foundation of formal theories used in a formal proof of the Four ... landmark result of finite group theory, which utilizes the library extensively...

BioGAP
 Referenced in 4 articles
[sw08793]
 Bacterial Genomics and Computational Group Theory. Bacterial genomes can be modelled as permutations of conserved ... trees) can be tackled by use of grouptheoretical tools such as the word distance...

Mincer
 Referenced in 64 articles
[sw09009]
 Program for multiloop calculations in quantum field theory for the Schoonschip system. We present ... sufficient to perform fourloop renormalization group calculations within the minimal subtraction scheme in four...

PERMS
 Referenced in 7 articles
[sw20247]
 doing calculations in the representation theory of symmetric groups. It comprises: Tools for the investigation...

INVAR
 Referenced in 7 articles
[sw10662]
 Maple package for invariant theory of finite groups...

GTPack
 Referenced in 2 articles
[sw18755]
 GTPack  a Mathematica package for group theory in solidstate physics. GTPack is a free ... Mathematica group theory package containing more than 200 modules developed for applications in solid state ... basic functionality, such as abstract group and representation theory, crystal and molecular structure tools ... tools in the framework of crystal field theory or tightbinding. GTPack allows for setting...

DsixTools
 Referenced in 12 articles
[sw23378]
 dimensionsix Standard Model Effective Field Theory. Among other features, DsixTools allows the user ... perform the full oneloop Renormalization Group Evolution of the Wilson coefficients in the Warsaw ... Effective Theory at the electroweak scale and their QCD and QED Renormalization Group Evolution below...

evir
 Referenced in 17 articles
[sw10489]
 extreme value theory, which may be divided into the following groups; exploratory data analysis, block...

flexMIRT
 Referenced in 7 articles
[sw13413]
 multilevel, multidimensional, and multiple group item response theory (IRT) software package for item analysis ... variety of unidimensional and multidimensional item response theory models (also known as item factor analysis ... multilevel data in any number of groups...

WIEN2k
 Referenced in 43 articles
[sw04975]
 structure calculations of solids using density functional theory (DFT). It is based on the full ... been licensed by more than 2000 user groups...

GroupRingModule
 Referenced in 2 articles
[sw32227]
 Groups, Rings and Modules: The theory of groups, rings and modules ... developed to a great depth. Group theory results include Zassenhaus’s theorem and the Jordan...

CCalc
 Referenced in 75 articles
[sw09899]
 logic described in the paper ”Nonmonotonic causal theories” by Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz ... system is being maintained by Texas Action Group at Austin. The semantics of the language...

TomLib
 Referenced in 4 articles
[sw07718]
 William Burnside in his famous book ”Theory of Groups of Finite order.” In fact many...

Wilson
 Referenced in 9 articles
[sw23847]
 performs the renormalization group evolution within the Standard Model effective field theory (SMEFT), matching onto ... weak effective theory (WET) at the electroweak scale, and QCD/QED renormalization group evolution below...

ETPS
 Referenced in 156 articles
[sw06302]
 various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... facility for saving formulas, definitions, and modes (groups of flag settings). The interactive facilities ... Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic...

BIGEBRA
 Referenced in 19 articles
[sw00078]
 groups and group representations as the leading paradigm in forthcoming times. Ktheory, cohomology...

TPS
 Referenced in 71 articles
[sw00973]
 various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... facility for saving formulas, definitions, and modes (groups of flag settings...

DRAGON
 Referenced in 15 articles
[sw00220]
 descriptors includes the simplest atom types, functional groups and fragment counts, topological and geometrical descriptors ... wide range of different approaches and theories for descriptors calculation, and the correctness and precision ... Milano Chemometrics and QSAR Research Group of prof. Roberto Todeschini, author with dr. Viviana Consonni ... Chemoinformatics (the most complete reference for descriptors theory...