• 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 two-loop 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 group-theoretical 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 four-loop 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 solid-state 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 tight-binding. GTPack allows for setting...
  • DsixTools

  • Referenced in 12 articles [sw23378]
  • dimension-six Standard Model Effective Field Theory. Among other features, DsixTools allows the user ... perform the full one-loop 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...
  • Group-Ring-Module

  • 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. K-theory, co-homology...
  • 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...