• Macaulay2

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

• SINGULAR

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

• CoCoA

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

• CoCoALib

• Referenced in 47 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 52 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...

• KoszulDivisorOnPic14M8

• Referenced in 27 articles [sw12557]
• genus ≤10. Algebraic geometry and commutative algebra, Vol. I, 357-377, Kinokuniya, Tokyo...

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

• StronglyStableIdeals

• Referenced in 7 articles [sw27084]
• ideals are a key tool in commutative algebra and algebraic geometry. These ideals have nice...

• Felix

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

• EdgeIdeals

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

• SEGRE

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

• libnormaliz

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

• XModAlg

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

• Stacks Project

• Referenced in 3 articles [sw31299]
• algebraic stacks. The theory of commutative algebra, schemes, varieties, and algebraic spaces forms an integral...

• FreeSquares

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

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

• 3BA

• Referenced in 2 articles [sw25685]
• coming from different areas such as commutative algebra, SAT or SMT, that can be used...