• Macaulay2

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

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

  • Referenced in 478 articles [sw00143]
  • system for Computations in Commutative Algebra. It is able to perform simple and sophisticated operations...
  • NCAlgebra

  • Referenced in 45 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...
  • CoCoALib

  • Referenced in 25 articles [sw00144]
  • library for computations in commutative algebra⋯ and beyond. First released in 1988, CoCoA ... purpose system for doing Computations in Commutative Algebra: i.e. it is a system specialized...
  • GRIN

  • Referenced in 23 articles [sw08940]
  • coded in GRIN aredrawn from both commutative algebra and the standard IP repertoire (e.g. Lovasz...
  • CALI

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

  • Referenced in 16 articles [sw01048]
  • Special computer algebra system (CAS) for the computation in commutative and non-commutative rings ... generalizations to non-commutative rings, in particular to free k-algebras and algebras of solvable...
  • SEGRE

  • Referenced in 4 articles [sw07760]
  • script for the REDUCE package CALI. The algebraic module SEGRE extends (and requires) CALI ... Gräbe: CALI - A REDUCE package for commutative algebra, Version 2.2.1 (1995). Available through the REDUCE...
  • symmChainGens

  • Referenced in 4 articles [sw06689]
  • fail to stabilize in the traditional commutative algebra sense. However, we prove a theorem which...
  • EdgeIdeals

  • Referenced in 4 articles [sw06521]
  • combinatorial objects, by using commutative algebra routines to derive information about (hyper)graphs. For some...
  • FreeSquares

  • Referenced in 3 articles [sw12555]
  • shows how enumeration techniques from computational commutative algebra can be applied to graph theoretical problems...
  • XModAlg

  • Referenced in 2 articles [sw18306]
  • Crossed modules and cat1-algebras of commutative algebras for GAP4. The XModALG package provides...
  • ACE

  • Referenced in 11 articles [sw15066]
  • includes packages providing combinatorial tools useful in algebraic combinatorics. Functions are mostly related ... divided differences, (non-commutative) symmetric functions and Schubert polynomials. Computer algebra system...
  • NCPOLY

  • Referenced in 5 articles [sw13518]
  • objects under a non–commutative multiplication, where commutator relations must be introduced explicitly by rule ... environment for computing in an algebra where the non–commutativity is defined by Lie-bracket...
  • purityfiltration.lib

  • Referenced in 1 article [sw10991]
  • Purity Filtration of Modules over (Non-)commutative Algebras. Purity is a notion with several meanings...
  • STRATIFY

  • Referenced in 1 article [sw18775]
  • intersection of (some) graded structures of commutative algebra and computing the stratification of linear actions...
  • libnormaliz

  • Referenced in 1 article [sw10123]
  • general environment for computations in Commutative Algebra. For mutual benefit we have developed a simple...
  • NCSOStools

  • Referenced in 14 articles [sw06920]
  • NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials. NCSOStools ... solving sum of Hermitian squares (with commutators) programs for polynomials in NC variables...