
ITSOL
 Referenced in 153 articles
[sw04031]
 viewed as an extension of the itsol module in SPARSKIT. It is written ... ddPQ version which uses nonsymmetric permutations). Note that ITSOL is a scalar package...

MeatAxe
 Referenced in 46 articles
[sw04906]
 automatically the submodule lattice of a given module. Each of the programs is selfcontained ... objects are of two types: matrices and permutations. Permutation objects can be handled...

mfer
 Referenced in 1 article
[sw10671]
 endomorphism rings of the multiplicityfree permutation modules of the sporadic simple groups and their ... This holds for the permutation characters and the character tables of the endomorphism rings...

PermComb
 Referenced in 0 articles
[sw05756]
 PermComb is a pure Perl module for performing permutations and combinations taken...

BRAPH
 Referenced in 1 article
[sw26515]
 measures, performing nonparametric permutations for group comparisons, assessing the modules in the network...

DBlock
 Referenced in 1 article
[sw13576]
 same module used in encryption, except the choice of different byte permutations, which can improve...

RALLOC
 Referenced in 1 article
[sw24909]
 Module to Design Randomized Controlled Trials. ralloc provides a sequence of treatments randomly permuted...

SpechtModule
 Referenced in 0 articles
[sw31578]
 package SpechtModule  a package for constructing Specht Modules. SpechtModule calculates many objects related ... calculates efficiently the secondary invariants of any permutation group. The main features of the package ... which give a basis of the Specht Modules that arrise in the coinvariant ring...

COVAIN
 Referenced in 1 article
[sw10556]
 algorithms, such as Granger causality and permutation entropy analysis that are not implemented in other ... omics data analysis. A C language programming module was integrated to handle computational intensive work...

AXIOM
 Referenced in 168 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CoCoA
 Referenced in 585 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1706 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 227 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2586 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 123 articles
[sw00344]
 The gfun package provides tools for determining and...

Isabelle
 Referenced in 573 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KANT/KASH
 Referenced in 151 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

LAPACK
 Referenced in 1552 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1502 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...