• Macaulay2

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

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

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

  • Referenced in 49 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 33 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 25 articles [sw08940]
  • coded in GRIN aredrawn from both commutative algebra and the standard IP repertoire (e.g. Lovasz...
  • CALI

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

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

  • Referenced in 17 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...
  • 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...
  • ToricVarieties

  • Referenced in 2 articles [sw20307]
  • handle toric varieties by their commutative algebra structure and by their combinatorics. For combinatorics...
  • libnormaliz

  • Referenced in 2 articles [sw10123]
  • general environment for computations in Commutative Algebra. For mutual benefit we have developed a simple...
  • Chordality

  • Referenced in 1 article [sw20560]
  • most important objects in combinatorial commutative algebra. The algebraic importance of chordal graphs is twofolds ... that, by using Alexander duality, the algebraic mechanism behind chordal graphs is quite rich ... power of chordal graphs in combinatorial commutative algebra...
  • 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...
  • SUPERCALC

  • Referenced in 6 articles [sw00928]
  • calculations. Nature of problem: Symbolic computation of commutators, handling of ordered products, evaluation of infinite ... Solution method: Using the algebraic properties of bracket structures, the commutator (or Poisson bracket...