algebraic-geometry

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 🚀

Formalisation of toric varieties in Lean 4

A computer algebra system in Smalltalk

A utility package for Hironaka game of local resolution of singularities

This is where Spencer writes his math papers.

software for real algebraic sets

A curated list of Algebraic Statistics tools and resources.

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

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

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

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