• wedderga

  • Referenced in 13 articles [sw01019]
  • Decomposition of Group Algebras. Wedderga is the package to compute the simple components ... Wedderburn decomposition of semisimple group algebras of finite groups over finite fields and over subfields...
  • WeylModules

  • Referenced in 4 articles [sw31472]
  • modules and simple modules for a given simply-connected, semisimple, algebraic group in positive characteristic ... simple characters, and decomposition numbers. The package also has some (limited) support for Schur algebras ... symmetric groups...
  • GroupMath

  • Referenced in 1 article [sw35817]
  • GroupMath: A Mathematica package for group theory calculations. GroupMath is a Mathematica package which performs ... calculations related to semi-simple Lie algebras and the permutation groups, both of which...
  • CHAMP

  • Referenced in 6 articles [sw08494]
  • simple modules as graded G-modules for generic restricted rational Cherednik algebras for around half ... exceptional complex reflection groups...
  • lie_algebras

  • Referenced in 4 articles [sw34846]
  • irreducible representation of a simple Lie algebra (mathfrak {g}) with highest weight (lambda ... alternating sum over the Weyl group and involves the computation of a partition function ... compute (q)-multiplicities for the simple Lie algebras...
  • liealgebra

  • Referenced in 6 articles [sw28494]
  • Weight diagrams for Lie group representations: A computer implementation of Freudenthal’s algorithm in ALGOL ... weights for irreducible representations of simple Lie algebras are described. Reasonable computing times are found...
  • Mod-p group cohomology

  • Referenced in 8 articles [sw08638]
  • Sage computer algebra system. It computes modular cohomology rings of finite groups. It yields minimal ... cohomology rings of all groups of order 128. It was also used to compute ... cohomology of various finite simple groups (for different primes p), including the first computation...
  • STAR/MPI

  • Referenced in 11 articles [sw02182]
  • symbolic algebra systems. Many users of symbolic algebra systems have felt the need for greater ... general purpose language for mathematical group theory). These implementations are examples that extend bindings ... name STAR/MPI, or */MPI. STAR/MPI includes a simple SPMD architecture on top of this ... LISP is the basis for several symbolic algebra systems with strengths in nondiscrete mathematics...
  • BranchCuts

  • Referenced in 5 articles [sw24938]
  • choices for the branch cuts of a group of functions and consider the problem ... functions in computer algebra systems. While the defining choices are usually simple (typically portions...
  • SYVA

  • Referenced in 1 article [sw28312]
  • complex calculations. In this paper a simple vector algebraic method is described to determine ... also capable of generating the framework group of the molecule, revealing the symmetry properties...
  • Emathema

  • Referenced in 1 article [sw24384]
  • integrability analysis of differential equations, our research group developed a dozen different off-line related ... algebraic and differential equations using external Maple packages, but also execute almost all simple symbolic...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Cadabra

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

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CLIFFORD

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CLUCalc

  • Referenced in 34 articles [sw00133]
  • CLUCalc is a freely available software tool for...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...