• GAP

• Referenced in 3154 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 164 articles [sw01075]
• theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups...

• LieART

• Referenced in 58 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 14 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 two-loop amplitudes in planar SYM. We use generalized unitarity ... planar, maximally supersymmetric Yang-Mills theory (SYM). This representation separates contributions into manifestly finite...

• BIGEBRA

• Referenced in 21 articles [sw00078]
• forthcoming times. K-theory, co-homology, entanglement, statistics, representation categories, quantized or twisted structures...

• AREP

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

• central-group-frames

• 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...

• MMT

• Referenced in 49 articles [sw07136]
• Mathematical Theories. MMT permits to encode mathematical knowledge in a logic-neutral representation format that ... meta-logical level. This ”logics-as-theories” approach makes system behaviors as well as their...

• Affine

• Referenced in 5 articles [sw08572]
• Affine.m - Mathematica package for computations in representation theory of finite-dimensional and affine Lie algebras ... Affine.m a program for computations in representation theory of nite-dimensional 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 172 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 55 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 equation-solving capability has a simple interface...

• Affine.m

• Referenced in 3 articles [sw10836]
• Affine.m – Mathematica package for computations in representation theory of finite-dimensional and affine Lie algebras ... Affine.m – a program for computations in representation theory of finite-dimensional 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 Logico-Metaphysica 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 ... Aczel-model 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 26 articles [sw08778]
• gigantic matrix representations of boundary operators defined on cell complexes. Discrete Morse theory provides...