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

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 :rocket:

A computer algebra system in Smalltalk

This is where Spencer writes his math papers.

A utility package for Hironaka game of local resolution of singularities

Formalisation of toric varieties in Lean 4

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.

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

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.

SageMath code for moduli space invariants

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

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

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

The most complete journey through the structure of differential equations and their solution spaces

Master's thesis "Semidefinite Programming for Geometric Problems in Computer Vision".

Code for 'Degeneracy and Sato-Tate Groups of y^2=x^{p^2}-1'.

Projects from MATH 555, Computational Algebraic Geometry taken Fall of 2021

Machine learning techniques are applied to datasets of polygons & polyhedra, examining how properties such as volume, dual volume, reflexivity can be learnt from Plucker coordinate representation using neural networks (arXiv: 2109.09602).

(Attempt of) Formalising the GAGA theorem

Julia package for descent elimination algorithms

A Python Interface & Extension to Singular