algebraic-geometry topic
M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
PHCpack
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
b2
Bertini 2.0: The redevelopment of Bertini in C++.
LearningAlgebraicVarieties.jl
Learning Algebraic Varieties from Samples
internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
monoid.space
Learn pure math with agda :rocket:
gaps
GAPS: A Generator for Automatic Polynomial Solvers
locus
A specialised computer algebra system for topos theory.
Automatic-Generator
Automatic generator of Groebner basis solvers.
cytools
A software package for analyzing Calabi-Yau manifolds.