• GAP

  • Referenced in 2735 articles [sw00320]
  • discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language ... teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more ... extend it for your special use. Computer algebra system...
  • LieART

  • Referenced in 40 articles [sw08573]
  • application LieART (Lie Algebras and Representation Theory) for computations frequently encountered in Lie Algebras ... representation theory, such as tensor product decomposition and subalgebra branching of irreducible representations. LieART ... classical and exceptional Lie algebras. It computes root systems of Lie algebras, weight systems...
  • LiE

  • Referenced in 146 articles [sw01075]
  • perform computations of a Lie group theoretic nature. It focuses on the representation theory ... groups and root systems. LiE does not compute directly with elements of the Lie groups...
  • Affine

  • Referenced in 4 articles [sw08572]
  • Affine.m - Mathematica package for computations in representation theory of finite-dimensional and affine Lie algebras ... present Affine.m a program for computations in representation theory of nite-dimensional ... symmetry. Computation of weight multiplicities in irreducible and Verma modules, branching of representations and tensor...
  • Affine.m

  • Referenced in 3 articles [sw10836]
  • Affine.m – Mathematica package for computations in representation theory of finite-dimensional and affine Lie algebras ... present Affine.m – a program for computations in representation theory of finite-dimensional and affine ... symmetry. Computation of weight multiplicities in irreducible and Verma modules, branching of representations and tensor...
  • Perseus

  • Referenced in 21 articles [sw08778]
  • Perseus Software Project. At its core, the computation of homology -- persistent or otherwise -- involves performing ... gigantic matrix representations of boundary operators defined on cell complexes. Discrete Morse theory provides ... implements these methods in order to efficiently compute persistent homology of various types of filtered...
  • LMFDB

  • Referenced in 96 articles [sw07249]
  • sources. L-functions are ubiquitous in number theory and have applications to mathematical physics ... since typically we need these objects to compute L-functions. In these pages you will ... from automorphic forms, algebraic varieties, and Artin representations. In addition, the database contains details about...
  • Atlas of Lie Groups

  • Referenced in 12 articles [sw09356]
  • computational methods. We are also planning to make information about Lie groups and representation theory...
  • PANACEA

  • Referenced in 16 articles [sw00673]
  • range of Markovian queueing networks that are computationally tractable. It solves multi-class closed, open ... networks. Based on an underlying theory of integral representations and asymptotic expansions, PANACEA solves queueing...
  • Petruchio

  • Referenced in 15 articles [sw04394]
  • theory of structural stationarity in the π-calculus Automata-theoretic representations have proven useful ... automatic and exact analysis of computing systems. We propose a new semantical mapping ... novel characteristic functions. As application of the theory, we identify a rich syntactic class...
  • ART 3

  • Referenced in 27 articles [sw08755]
  • real-time. The search process emerges when computational properties of the chemical synapse, such ... modulation, are embedded within an Adaptive Resonance Theory architecture called ART 3. Formal analogs ... model the postsynaptic short-term memory representation of a pattern recognition code. Reinforcement feedback...
  • kappalab

  • Referenced in 42 articles [sw06086]
  • other equivalent representations of set functions can also be computed. Kappalab further contains seven capacity ... multicriteria decision making or cooperative game theory...
  • SchurRings

  • Referenced in 4 articles [sw11785]
  • package facilitating computations with symmetric functions, with an emphasis on the representation theory of general...
  • Canon

  • Referenced in 5 articles [sw00102]
  • method: Computational Group Theory algorithms have been used, specially algorithms for finding canonical representations...
  • BIGEBRA

  • Referenced in 17 articles [sw00078]
  • representation categories, quantized or twisted structures as well as more geometric topics of invariant theory ... through direct calculations using symbolic manipulation and computer algebra system (CAS). We discuss problems which...
  • KILLING

  • Referenced in 2 articles [sw00487]
  • algebraic computational procedures to manipulate elements of representation theory for classical, exceptional and deformed...
  • Zeta

  • Referenced in 7 articles [sw13746]
  • enumeration of subalgebras, ideals, submodules, and representations of suitable algebraic structures. For theoretical background ... distributed as a Python-package for the computer algebra system Sage. This work is supported ... Experimental Methods in Algebra, Geometry and Number Theory...
  • DP2PN2Solver

  • Referenced in 2 articles [sw00216]
  • optimal solution for the problem instance is computed by an “executable” code (e.g., Java, Spreadsheet ... representation. DP2PN2Solver’s unique potential lies in its Bellman net representation. In theory...
  • ACUOS2

  • Referenced in 7 articles [sw31984]
  • when computing a complete and minimal set of least general generalizations in these theories ... address artificial intelligence (AI) problems that are representable as order-sorted ACU generalization, e.g., generalization...
  • ElAM

  • Referenced in 2 articles [sw12498]
  • computer program for the analysis and representation of anisotropic elastic properties The continuum theory ... produce 2D cuts in any given plane, compute averages following diverse schemes and query...