Projects in Awesome Lists tagged with commutative-algebra
A curated list of projects in awesome lists tagged with commutative-algebra .
https://github.com/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
Last synced: 20 Nov 2024
https://github.com/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
Last synced: 08 Mar 2025
https://github.com/PoslavskySV/rings
Rings: efficient JVM library for polynomial rings
algebra algebraic-calculations algebraic-data-types commutative-algebra factorization finite-fields groebner-basis mathematics multivariate-polynomials polynomial-arithmetic polynomials
Last synced: 13 May 2025
https://github.com/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
algebraic-statistics commutative-algebra integer-programming lattices markov-chains mathematics
Last synced: 10 May 2025
https://github.com/andreaferretti/commutative-algebra
An introduction to the basic ideas of commutative algebra
algebraic-number-theory book commutative-algebra computational-algebra galois-theory
Last synced: 24 Mar 2025
https://github.com/chakravala/fieldalgebra.jl
Field-algebra based on Group / Ring symbolic vector module extension
algebra algebraic-data-types algebraic-structures commutative-algebra computer-algebra group-theory julia math mathematics multivariate-polynomials polynomial-arithmetic polynomials vector
Last synced: 12 May 2025
https://github.com/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
Last synced: 25 Mar 2025
