commutative-algebra
There are 18 repositories under commutative-algebra topic.
Macaulay2/M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
UniMath/agda-unimath
The agda-unimath library
PoslavskySV/rings
Rings: efficient JVM library for polynomial rings
4ti2/4ti2
A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin, M. Walter
andreaferretti/commutative-algebra
An introduction to the basic ideas of commutative algebra
len/Arrows
A computer algebra system in Smalltalk
chakravala/FieldAlgebra.jl
Field-algebra based on Group / Ring symbolic vector module extension
FatemehTarashi/awesome-algebraic-statistics
A curated list of Algebraic Statistics tools and resources.
jjaassoonn/flat
Equivalent definitions of flatness
ravikumar1728/Spin_Algebra_Computation_using_Sympy
Computation using Sympy to understand Spin Algebra
valmig/libvalmath
c++ library for mathematical computations
DTaufer/SchemesEvincedByGADs
Programs and examples of computations of schemes evinced by generalized additive decompositions (GADs)
jacob-hegna/ext-notes
Notes on the derived functor \Ext^i(-,-)
kat-stash/macaw
An experimental, companion implementation of the Macaulay2 computer algebra system in Rust.
lucamata/TSpreadIdeals
A Macaulay2 package to deal with t-spread ideals of a polynomial ring. Some details can be found in this paper.
minhdat296/Foundations-of-geometric-representation-theory
In this project, we attempt to reformulate various notions from classical commutative algebra (such as flatness, regularity, smoothness, etc.) in an entirely categorical manner, so as to be able to later write down their analogues in derived algebraic geometry without having to develop extra theory. We will also be presenting certain applications, such as deformation theory, the theory of D-modules, and certain motivic/geometric aspects of p-adic Hodge theory.
valmig/groebner_basics
c++ programs on groebner basis and polynomial ideals computation