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

Bertini 2.0: The redevelopment of Bertini in C++.

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

Automatic generator of Groebner basis solvers.

A software package for analyzing Calabi-Yau manifolds.

GAPS: A Generator for Automatic Polynomial Solvers

Learning Algebraic Varieties from Samples

Learn pure math with agda 🚀

This is where Spencer writes his math papers.

A computer algebra system in Smalltalk

software for real algebraic sets

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.

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

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

A utility package for Hironaka game of local resolution of singularities

An implementation of the Atiyah-Bott formula for the moduli space of genus 0 stable maps.

SageMath code for moduli space invariants

Learn Hamiltonian from Trajectory & Lagrangian Correspondence from in-out data

Supervised & unsupervised machine-learning techniques are applied to the database of weighted P4s which admit Calabi-Yau hypersurfaces (arXiv: 2112.06350).