The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
-
Updated
May 29, 2024 - Macaulay2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
CAP project -- Categories, Algorithms, and Programming
Deposited packages of the homalg project
Notes for the lecture course “Foundations in Representation Theory”.
A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
The homalg project compatibility package for Julia
Equivalent definitions of flatness
A rewrite of the Quiver frontend to use Bootstrap CSS so that it can be used as a diagram editor on all platforms having a web browser.
DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.
Chain complexes in Julia
Typst Lecture Notes for University of Oxford course C2.2 Homological Algebra (Michaelmas, 2023-24)
My math publications
Program (still in progress) for calculating resolutions of modules over the truncated Steenrod algebra 𝓐(1) at p = 2.
A short seminar I gave in Padova, in January 2020, dealing with the proof of De Rham theorem for singular and De Rham cohomology.
An algorithm that computes the twisted L^2-Euler characteristic.
Notes on condensed mathematics
Add a description, image, and links to the homological-algebra topic page so that developers can more easily learn about it.
To associate your repository with the homological-algebra topic, visit your repo's landing page and select "manage topics."