homalg project
Repositories of the computer algebra packages relying on the projects homalg and CAP.
Pinned Loading
Repositories
Showing 10 of 95 repositories
- FreydCategoriesForCAP.jl Public
[READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia
-
- FreydCategoriesForCAP Public
[READ-ONLY-SUBSPLIT] Freyd categories - Formal (co)kernels for additive categories
- LinearAlgebraForCAP.jl Public
[READ-ONLY-SUBSPLIT] Category of Matrices over a Field for CAP in Julia
- CartesianCategories.jl Public
[READ-ONLY-SUBSPLIT] Cartesian and cocartesian categories and various subdoctrines in Julia
Top languages
Loading…
Most used topics
Loading…