• 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 group-theoretical 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 density-functional theory, plane waves, and pseudopotentials (norm-conserving, ultrasoft ... original authors of novel electronic-structure 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, bio-informatics, and finite group theory. However, older symmetry-finding tools often suffer ... years, we developed a symmetry-discovery 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 group-theoretical tools such as the word distance ... finding geodesic words, etc. Most of the groups involved in this research are well-studied ... 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 non-diagonal co-clustering 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...