3 results found Sort:

Macaulay2
M2 Macaulay2
236
352
unknown
29
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
26,474 commits to master branch, last one 20 days ago
UniMath
agda-unimath UniMath
70
225
mit
9
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,866 commits to master branch, last one 18 days ago
PoslavskySV
rings PoslavskySV
10
74
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 about a year ago