GitPlanet
All Categories → No Category → commutative-algebra

Top 2 commutative-algebra open source projects

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
✭ 21
C++cM4MakefileshellSWIGmathematicsmarkov-chainsinteger-programmingcommutative-algebralatticesalgebraic-statistics
SymmetryBookFormalization
Univalent mathematics in Agda
✭ 117
Makefiletype-theorycategory-theorygraph-theoryagdagroup-theorynumber-theorycommutative-algebrahomotopy-type-theoryunivalent-foundationsfinite-groupsorder-theoryunivalent-mathematicsring-theorystructured-typesunivalent-combinatoricssynthetic-homotopy-theoryhigher-group-theorytype-theories
1-2 of 2 commutative-algebra projects