• 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 self-contained ... objects are of two types: matrices and permutations. Permutation objects can be handled...
  • mfer

  • Referenced in 1 article [sw10671]
  • endomorphism rings of the multiplicity-free 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 non-parametric 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...