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

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

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

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

NCAlgebra
 Referenced in 23 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...

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 15 articles
[sw01048]
 Special computer algebra system (CAS) for the computation in commutative and noncommutative rings ... generalizations to noncommutative rings, in particular to free kalgebras 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 cat1algebras 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, (noncommutative) 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 Liebracket...

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

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

SUPERCALC
 Referenced in 4 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...