
GAP
 Referenced in 3026 articles
[sw00320]
 algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library ... thousands of functions implementing algebraic algorithms written in the GAP language as well as large ... used in research and teaching for studying groups and their representations, rings, vector spaces, algebras...

Cayley
 Referenced in 131 articles
[sw01053]
 introduction to the Group Theory Language, Cayley. CAYLEY is a high level programming language which ... collectionn of algorithms for doing calculations in groups and related structures. This paper gives...

LOOPS
 Referenced in 42 articles
[sw07728]
 notions of loop theory with libraries of loops and grouptheoretical algorithms...

Canon
 Referenced in 5 articles
[sw00102]
 summed over) indices. Solution method: Computational Group Theory algorithms have been used, specially algorithms...

Orbiter
 Referenced in 5 articles
[sw12417]
 combinatorial objects. The algorithms combine techniques from Group Theory and from Combinatorics. Orbiter...

Quantum Espresso
 Referenced in 46 articles
[sw06129]
 materials modeling, based on densityfunctional theory, plane waves, and pseudopotentials (normconserving, ultrasoft ... original authors of novel electronicstructure algorithms and applied in the last twenty years ... some of the leading materials modeling groups worldwide. Innovation and efficiency are still its main...

TopSpin
 Referenced in 13 articles
[sw00972]
 manual), uses computational group theory to automatically determine a group of component symmetries associated with ... tool automatically modifies the model checking algorithm employed by SPIN to exploit these symmetries during...

ATENSOR
 Referenced in 12 articles
[sw00055]
 theory, differential geometry and other fields where indexed objects arise. Solution method: The group algebra ... permutation group is applied to construct a canonical subspace and the effective algorithm...

ALPS
 Referenced in 19 articles
[sw08907]
 providing basic implementations of the important algorithms for quantum lattice models: classical and quantum Monte ... full diagonalization (ED), the density matrix renormalization group (DMRG) both in a static version ... Monte Carlo solvers for dynamical mean field theory (DMFT). The ALPS libraries provide a powerful...

ARGENT
 Referenced in 3 articles
[sw03148]
 theory of permutation groups) that form the foundations of the generation algorithm in ARGENT...

RTNI
 Referenced in 4 articles
[sw28081]
 over the unitary group. We illustrate the use of this algorithmic tool on some examples ... from quantum information theory, including entropy calculations for random tensor network states as considered...

PerMuVAR
 Referenced in 2 articles
[sw12309]
 permutation groups that are too big to be treated by general invariant theory software ... design goals were the following: Computation timepredictability (algorithms based only on linear algebra, no Gröbner ... Efficiency (Use of special properties of permutation groups; use of external specialized libraries for critical...

Saucy
 Referenced in 7 articles
[sw13867]
 logistics, optimization, bioinformatics, and finite group theory. However, older symmetryfinding tools often suffer ... years, we developed a symmetrydiscovery algorithm which exploits the sparsity present not only...

AREP
 Referenced in 9 articles
[sw13167]
 decomposes a monomial representation of a solvable group G into its irreducible components. In contradistinction ... sparse matrices. This factorization provides a fast algorithm for the multiplication with ... algorithm is based on a constructive representation theory that we develop. The term “constructive” signifies...

STAR/MPI
 Referenced in 11 articles
[sw02182]
 general purpose language for mathematical group theory). These implementations are examples that extend bindings ... binding. An important class of sequential algorithms is described that can be parallelized with little...

XSSR
 Referenced in 3 articles
[sw02306]
 experimental system for string rewriting  decision problems, algorithms, and implementation. Here we present the eXperimental ... computer algebra system for combinatorial group and semigroup theory. It is intended for effectively performing...

ECgene
 Referenced in 4 articles
[sw17328]
 Sequences that share any splice sites are grouped together to define an EST cluster ... UniGene algorithm. Transcript assembly is achieved using graph theory that represents the exon connectivity...

BioGAP
 Referenced in 4 articles
[sw08793]
 Bacterial Genomics and Computational Group Theory. Bacterial genomes can be modelled as permutations of conserved ... trees) can be tackled by use of grouptheoretical tools such as the word distance ... finding geodesic words, etc. Most of the groups involved in this research are wellstudied ... these biological projects, and what are the algorithms that still need to be developed...

CoClust
 Referenced in 3 articles
[sw32066]
 cluster analysis since it allows to simultaneously group objects and features in a matrix, resulting ... presents the theory underlying several effective diagonal and nondiagonal coclustering algorithms, and describes...

DEFT
 Referenced in 7 articles
[sw28087]
 dimensional, Poincaré invariant theories with gauge group SU(3)×SU(2)×U(1), such ... arbitrary product of unitary gauge groups) are conceptually straightforward. Amongst other features, the program ... basis (where possible) from an input algorithm; (iii) carry out a change of basis...