commutative-algebra

There are 5 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.
algebraic-geometry commutative-algebra groebner-basis homological-algebra interpreted-programming-language mathematics modules polynomial-arithmetic polynomial-systems polynomials projective-geometry resolutions rings symbolic-computation
Language:Macaulay2 353
agda-unimath
UniMath / agda-unimath
The agda-unimath library
category-theory commutative-algebra finite-groups graph-theory group-theory higher-group-theory homotopy-type-theory number-theory order-theory orthogonal-factorization-systems ring-theory species structured-types synthetic-homotopy-theory trees type-theories univalent-combinatorics univalent-foundations univalent-mathematics universal-algebra
Language:Agda 232
PoslavskySV / rings
Rings: efficient JVM library for polynomial rings
algebra polynomials factorization polynomial-arithmetic finite-fields mathematics algebraic-data-types algebraic-calculations multivariate-polynomials groebner-basis commutative-algebra
Language:Java 74
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
mathematics integer-programming commutative-algebra algebraic-statistics markov-chains lattices
Language:C++ 35
andreaferretti / commutative-algebra
An introduction to the basic ideas of commutative algebra
commutative-algebra book algebraic-number-theory computational-algebra galois-theory
16
len / Arrows
A computer algebra system in Smalltalk
mathematics computational-algebra cas smalltalk computer-algebra category-theory algebraic-geometry commutative-algebra algebra finite-fields galois-rings elliptic-curves error-correcting-codes abstract-algebra finite-groups representation-theory number-fields
Language:Smalltalk 10
chakravala / FieldAlgebra.jl
Field-algebra based on Group / Ring symbolic vector module extension
algebra algebraic-data-types algebraic-structures julia mathematics group-theory vector commutative-algebra computer-algebra multivariate-polynomials polynomial-arithmetic polynomials math
Language:Julia 9
FatemehTarashi / awesome-algebraic-statistics
A curated list of Algebraic Statistics tools and resources.
algebraic-statistics awesome awesome-list mathematica algebraic-geometry combinatorics commutative-algebra statistics
5
jjaassoonn / flat
Equivalent definitions of flatness
commutative-algebra formalization homological-algebra
Language:Lean 3
Hacker-Code-J / Abstract-Algebra
commutative-algebra
Language:TeX 1
ravikumar1728 / Spin_Algebra_Computation_using_Sympy
Computation using Sympy to understand Spin Algebra
sympy quantum-mechanics quantum computational computations commutative-algebra fermions bosonic-statistics
Language:Jupyter Notebook 1
valmig / libvalmath
c++ library for mathematical computations
commutative-algebra groebner-bases mathematics
Language:C++ 1
DTaufer / SchemesEvincedByGADs
Programs and examples of computations of schemes evinced by generalized additive decompositions (GADs)
algebraic-geometry commutative-algebra schemes tensors
Language:MATLAB 0
jacob-hegna / ext-notes
Notes on the derived functor \Ext^i(-,-)
algebra commutative-algebra latex math
Language:TeX 0
kat-stash / macaw
An experimental, companion implementation of the Macaulay2 computer algebra system in Rust.
algebraic-geometry cas commutative-algebra computer-algebra-system math mathematics
0
lucamata / TSpreadIdeals
A Macaulay2 package to deal with t-spread ideals of a polynomial ring. Some details can be found in this paper.
commutative-algebra combinatorics symbolic-computation macaulay2
Language:Macaulay2 0
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.
commutative-algebra algebraic-geometry arithmetic-geometry representation-theory
Language:TeX 0
valmig / groebner_basics
c++ programs on groebner basis and polynomial ideals computation
groebner-basis mathematics commutative-algebra
Language:C++ 0