• 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 two-loop amplitudes in planar SYM. We use generalized unitarity ... planar, maximally supersymmetric Yang-Mills 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...
  • 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...
  • BIGEBRA

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

  • Referenced in 48 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 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 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 25 articles [sw08778]
  • gigantic matrix representations of boundary operators defined on cell complexes. Discrete Morse theory provides...