Results 1 to 20 of 276
Sort by:

  • 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...