
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 simplyconnected, 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 semisimple Lie algebras and the permutation groups, both of which...

CHAMP
 Referenced in 6 articles
[sw08494]
 simple modules as graded Gmodules 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...

Modp 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 offline 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...