
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 finitedimensional and affine Lie algebras ... present Affine.m a program for computations in representation theory of nitedimensional ... 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 finitedimensional and affine Lie algebras ... present Affine.m – a program for computations in representation theory of finitedimensional 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. Lfunctions are ubiquitous in number theory and have applications to mathematical physics ... since typically we need these objects to compute Lfunctions. 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 multiclass 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 Automatatheoretic 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]
 realtime. 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 shortterm 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 Pythonpackage 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 ordersorted 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...