• ACE

  • Referenced in 13 articles [sw15066]
  • compositions, permutations, words, Young tableaux, divided differences, (non-commutative) symmetric functions and Schubert polynomials. Computer...
  • xPerm

  • Referenced in 33 articles [sw01153]
  • algorithm for index canonicalization with respect to permutation symmetries. It is called xPerm ... demonstrate with tests and timings the effectively polynomial performance of the Butler-Portugal algorithm with...
  • FXT

  • Referenced in 10 articles [sw05348]
  • level routines and combinatorial algorithms (permutations, combinations, necklaces, de Bruijn sequences). Number theoretic transforms ... modular arithmetics are implemented. Operations on binary polynomials and arithmetics in finite fields...
  • FourTiTwo

  • Referenced in 8 articles [sw07615]
  • Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals This paper ... investigation of chains of lattice ideals in polynomial rings that are invariant under a symmetric...
  • GET

  • Referenced in 21 articles [sw35164]
  • used for graphical Monte Carlo and permutation tests where the test statistic is a multivariate ... prediction bands (e.g. confidence band in polynomial regression, Bayesian posterior prediction). See Myllymäki and Mrkvička...
  • AbstractAlgebra.jl

  • Referenced in 1 article [sw32610]
  • Nemo relies on. AbstractAlgebra currently provides: Generic polynomial rings, matrix spaces, fraction fields, residue rings ... series, Laurent series Finite fields, integers, rationals, permutations and characters, number fields...
  • SpechtModule

  • Referenced in 0 articles [sw31578]
  • calculates efficiently the secondary invariants of any permutation group. The main features of the package ... descent. Methods for calculating Higher Specht Polynomials which give a basis of the Specht Modules...
  • AMD

  • Referenced in 60 articles [sw00039]
  • Algorithm 837: AMD is a set of routines...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • COLAMD

  • Referenced in 32 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FGb

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

  • Referenced in 8 articles [sw00317]
  • GALOIS: An algebra microcomputer package. GALOIS is a...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

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