• GAP

  • Referenced in 3067 articles [sw00320]
  • algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library ... used in research and teaching for studying groups and their representations, rings, vector spaces, algebras...
  • Magma

  • Referenced in 3136 articles [sw00540]
  • package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides ... defining and working with structures such as groups, rings, fields, modules, algebras, schemes, curves, graphs...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2...
  • Cayley

  • Referenced in 131 articles [sw01053]
  • introduction to the Group Theory Language, Cayley. CAYLEY is a high level programming language which ... collectionn of algorithms for doing calculations in groups and related structures. This paper gives...
  • LiE

  • Referenced in 160 articles [sw01075]
  • focuses on the representation theory of complex semisimple (reductive) Lie groups and algebras...
  • HR

  • Referenced in 29 articles [sw10392]
  • program for theorem generation. Automated theory formation involves the production of objects of interest, concepts ... proofs of the conjectures. In group theory, for example, the objects of interest ... groups themselves, the concepts include element types, subgroup types, etc., the conjectures include implication ... named after mathematicians Hardy and Ramanujan -- performs theory formation in mathematical domains. It works...
  • CAS

  • Referenced in 22 articles [sw07634]
  • structure constants of the centre of the group algebra; kernel of a character; p-blocks ... character theory, and for researchers in group theory. The CAS system makes a major contribution...
  • Coxeter

  • Referenced in 23 articles [sw07827]
  • study of combinatorial aspects of Coxeter group theory, particularly those related to the Bruhat ordering...
  • TopSpin

  • Referenced in 13 articles [sw00972]
  • user manual), uses computational group theory to automatically determine a group of component symmetries associated...
  • SIGMA

  • Referenced in 92 articles [sw06904]
  • Sigma is based on difference field theory. The package has been developed by Carsten Schneider ... member of the RISC Combinatorics group...
  • STAR/MPI

  • Referenced in 11 articles [sw02182]
  • general purpose language for mathematical group theory). These implementations are examples that extend bindings...
  • LOOPS

  • Referenced in 43 articles [sw07728]
  • standard notions of loop theory with libraries of loops and group-theoretical algorithms...
  • MAGNUS

  • Referenced in 7 articles [sw04278]
  • being developed by the New York Group Theory Cooperative. This approach emphasises infinite groups...
  • Group Explorer

  • Referenced in 7 articles [sw07153]
  • algebra classroom.It helps the user visualize group theory, builds students’ intuition, and enables experimentation with...
  • PyR@TE

  • Referenced in 12 articles [sw16617]
  • Renormalization group equations for general gauge theories. Although the two-loop renormalization group equations ... general gauge field theory have been known for quite some time, deriving them for specific ... facilitate the practical use of the renormalization group equations in model building. To that...
  • Saucy

  • Referenced in 7 articles [sw13867]
  • logistics, optimization, bio-informatics, and finite group theory. However, older symmetry-finding tools often suffer...
  • Atlas of Lie Groups

  • Referenced in 13 articles [sw09356]
  • make information about Lie groups and representation theory, in particular unitary representations, available...
  • Spheno

  • Referenced in 57 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...
  • AsmL

  • Referenced in 43 articles [sw11363]
  • group develops AsmL. It is an executable specification language based on the theory of Abstract...
  • Canon

  • Referenced in 5 articles [sw00102]
  • summed over) indices. Solution method: Computational Group Theory algorithms have been used, specially algorithms...