3 results found Sort:

Macaulay2
M2 Macaulay2
230
343
unknown
28
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
rings modules mathematics polynomials resolutions groebner-basis algebraic-geometry polynomial-systems commutative-algebra homological-algebra projective-geometry symbolic-computation polynomial-arithmetic interpreted-programming-language
Created 2012-12-20
25,514 commits to master branch, last one 24 days ago
UniMath
agda-unimath UniMath
70
219
mit
10
The agda-unimath library
trees species ring-theory graph-theory group-theory order-theory finite-groups number-theory type-theories category-theory structured-types universal-algebra commutative-algebra higher-group-theory homotopy-type-theory univalent-foundations univalent-mathematics univalent-combinatorics synthetic-homotopy-theory orthogonal-factorization-systems
Created 2021-11-19
2,828 commits to master branch, last one 3 days ago
PoslavskySV
rings PoslavskySV
10
72
unknown
7
Rings: efficient JVM library for polynomial rings
algebra mathematics polynomials factorization finite-fields groebner-basis commutative-algebra algebraic-data-types polynomial-arithmetic algebraic-calculations multivariate-polynomials
Created 2017-03-16
549 commits to develop branch, last one 11 months ago