• Macaulay2

  • Referenced in 1923 articles [sw00537]
  • supporting research in algebraic geometry and commutative algebra, whose creation has been funded...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry, and singularity theory. SINGULAR...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative Algebra. It is able to perform simple...
  • MPI

  • Referenced in 515 articles [sw06496]
  • second-derivative information provided that multiplication is commutative. One particular number system is developed, termed...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • search space: subsumption, tautology deletion (optionally modulo commutativity), subsumption resolution, rewriting by ordered unit equalities...
  • CoCoALib

  • Referenced in 61 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative algebra⋯ and beyond. First released ... special-purpose system for doing Computations in Commutative Algebra: i.e. it is a system specialized...
  • NCAlgebra

  • Referenced in 55 articles [sw07755]
  • NCAlgebra: Our Non Commutative Algebra Packages run under Mathematica© and give it the capability ... manipulating noncommuting algebraic expressions. NCGB Computes Non Commutative Groebner Bases and has extensive sorting...
  • SymbolicC++

  • Referenced in 31 articles [sw01428]
  • symbolic computation including symbolic terms, substitution, non-commutative multiplication and vectors and matrices...
  • Felix

  • Referenced in 19 articles [sw01048]
  • algebra system (CAS) for the computation in commutative and non-commutative rings and modules ... algorithm and its generalizations to non-commutative rings, in particular to free k-algebras...
  • CBraid

  • Referenced in 30 articles [sw05941]
  • braid cryptosystems, which are based on non-commutative structures, have been introduced and become...
  • GRIN

  • Referenced in 26 articles [sw08940]
  • algorithms coded in GRIN aredrawn from both commutative algebra and the standard IP repertoire...
  • NCSOStools

  • Referenced in 18 articles [sw06920]
  • solving sum of Hermitian squares (with commutators) programs for polynomials in NC variables ... Hermitian squares (with commutators) programs and provides a gentle introduction to the primary features...
  • Groebner

  • Referenced in 17 articles [sw06688]
  • bases and related operations for ideals in (commutative) polynomial rings. The Groebner package is actually ... polynomial rings (see Groebner/details) and modules over (commutative or skew) polynomial rings (see Groebner Bases...
  • QuantumMACMAHON

  • Referenced in 21 articles [sw11441]
  • quantum determinant of right-quantum (non-commutative) matrices. The formula obtained in this paper relates...
  • Letterplace

  • Referenced in 21 articles [sw36844]
  • Singular for computations with non-commutative finitely presented associative algebras over fields and rings...
  • CALI

  • Referenced in 14 articles [sw07761]
  • CALI - a REDUCE package for commutative algebra. This package contains algorithms for computations in commutative...
  • INGRID

  • Referenced in 16 articles [sw01071]
  • theory, is described. It is a partial commutative rule-based system using forward chaining, consists...
  • JAS

  • Referenced in 15 articles [sw05877]
  • focus at the moment is on commutative and solvable polynomials, power-series, multivariate polynomial factorization...
  • CRC 3

  • Referenced in 9 articles [sw09782]
  • applied modulo different combinations of associativity, commutativity and identity axioms is challenging. In particular ... presence of different combinations of associativity, commutativity and identity axioms, including the very challenging case ... associativity without commutativity for which no finitary unification algorithms exist. In this paper we present...