The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Bertini 2: The redevelopment of Bertini in C++ and Python.

The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.

Notes on how to use the internal language of toposes in algebraic geometry

A software package for analyzing Calabi-Yau manifolds.

Automatic generator of Groebner basis solvers.

GAPS: A Generator for Automatic Polynomial Solvers

Learning Algebraic Varieties from Samples

Learn pure math with agda 🚀

A computer algebra system in Smalltalk

Formalisation of toric varieties in Lean 4

This is where Spencer writes his math papers.

A utility package for Hironaka game of local resolution of singularities

software for real algebraic sets

DecomposingPolynomialSystems.jl is a Julia package that decomposes (simplifies) a given polynomial system using tools from numerical algebraic geometry.

A curated list of Algebraic Statistics tools and resources.

A repo for my Mathematica document files - mostly math research and fun

ResPol is a software to compute projections of Newton polytopes of important polynomials in algebraic geometry such as the resultant defined for a given polynomial system.

🪩 Declarative raytracing in Typst — POV-Ray 3.8 wrapped as a Typst WebAssembly plugin

SageMath code for moduli space invariants