
GAP
 Referenced in 3068 articles
[sw00320]
 algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library ... teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more...

LiE
 Referenced in 160 articles
[sw01075]
 theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups...

LieART
 Referenced in 57 articles
[sw08573]
 Mathematica Application for Lie Algebras and Representation Theory. We present the Mathematica application LieART ... Algebras and Representation Theory) for computations frequently encountered in Lie Algebras and representation theory, such...

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

two loop amplitudes
 Referenced in 25 articles
[sw25063]
 Local integrand representations of all twoloop amplitudes in planar SYM. We use generalized unitarity ... planar, maximally supersymmetric YangMills theory (SYM). This representation separates contributions into manifestly finite...

AREP
 Referenced in 9 articles
[sw13167]
 algorithm is based on a constructive representation theory that we develop. The term “constructive” signifies...

centralgroupframes
 Referenced in 9 articles
[sw34456]
 line packings are naturally characterized using representation theory, which in turn leads to a necessary ... family of equiangular tight frames generated by representations of nonabelian groups...

BIGEBRA
 Referenced in 19 articles
[sw00078]
 forthcoming times. Ktheory, cohomology, entanglement, statistics, representation categories, quantized or twisted structures...

MMT
 Referenced in 48 articles
[sw07136]
 Mathematical Theories. MMT permits to encode mathematical knowledge in a logicneutral representation format that ... metalogical level. This ”logicsastheories” approach makes system behaviors as well as their...

Affine
 Referenced in 5 articles
[sw08572]
 Affine.m  Mathematica package for computations in representation theory of finitedimensional and affine Lie algebras ... Affine.m a program for computations in representation theory of nitedimensional and ane Lie algebras ... irreducible and Verma modules, branching of representations and tensor product decomposition are the most important...

PANACEA
 Referenced in 16 articles
[sw00673]
 networks. Based on an underlying theory of integral representations and asymptotic expansions, PANACEA solves queueing...

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

GOLOG
 Referenced in 170 articles
[sw02159]
 GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled ... based on a formal theory of action specified in an extended version of the situation...

FRIL
 Referenced in 44 articles
[sw18490]
 theories of probability and fuzzy sets. Extends the logic programming form of knowledge representation...

mCRL2
 Referenced in 54 articles
[sw01496]
 mCRL2 stands for micro Common Representation Language 2. It is a specification language that ... successor to µCRL. Extensive theory is available for verifying processes manually. A major part...

Interrogator
 Referenced in 11 articles
[sw36025]
 context of equational theories. The operator representation and equationsolving capability has a simple interface...

Affine.m
 Referenced in 3 articles
[sw10836]
 Affine.m – Mathematica package for computations in representation theory of finitedimensional and affine Lie algebras ... Affine.m – a program for computations in representation theory of finitedimensional and affine Lie algebras ... irreducible and Verma modules, branching of representations and tensor product decomposition are the most important...

PLM
 Referenced in 3 articles
[sw38031]
 Representation and Partial Automation of the Principia LogicoMetaphysica in Isabelle/HOL. We present an embedding ... logical foundation for which a representation in functional type theory is known to be challenging ... arrive at a functioning representation of the theory in the functional logic of Isabelle/HOL based ... Aczelmodel of the theory. Based on this representation we construct an implementation...

SchurRings
 Referenced in 4 articles
[sw11785]
 functions, with an emphasis on the representation theory of general linear and symmetric groups...

Perseus
 Referenced in 25 articles
[sw08778]
 gigantic matrix representations of boundary operators defined on cell complexes. Discrete Morse theory provides...