Formalisation of toric varieties in Lean 4
-
Updated
Jul 29, 2026 - Lean
#
toric-varieties
Here are 8 public repositories matching this topic...
Compute sheaf cohomology of coherent sheaves on toric varieties
-
Updated
Jan 14, 2025 - GAP
Tools for Calabi-Yau hypersurfaces in normal toric varieties associated to triangulations of reflexive polytopes in the Kreuzer-Skarke lists.
-
Updated
Nov 21, 2022 - Julia
Simulates Chemical Reaction System of Partial-Log-Linear Model
-
Updated
Feb 1, 2019 - Python
toric is a GAP package (gap-system.org) for doing computations with toric varieties.
-
Updated
Jul 2, 2026 - GAP
This repository is an implementation of algebro-geometric objects called "Toric Varieties". Please check out the read-me file for more description.
-
Updated
Dec 19, 2024 - Jupyter Notebook
Exact verification companion to the paper 'Slope stability of tangent bundles of smooth toric Fano varieties' (Wuebben, 2026): reproducible Klyachko-criterion sweep, certificates, and data for all 8630 smooth toric Fanos in dimensions 3–6.
reproducible-research computational-mathematics toric-varieties algebraic-geometry slope-stability tangent-bundle vector-bundles fano-varieties kahler-einstein klyachko
-
Updated
Jul 19, 2026 - Python
Code, data, and three papers on the smoothability of Calabi–Yau threefolds arising as anticanonical hypersurfaces in Gorenstein toric Fano fourfolds, with exact sweeps over the Kreuzer–Skarke reflexive-polytope classification and Batyrev mirror symmetry.
reproducible-research computational-mathematics toric-varieties algebraic-geometry calabi-yau mirror-symmetry kreuzer-skarke deformation-theory reflexive-polytopes smoothability
-
Updated
Aug 1, 2026 - Python
Improve this page
Add a description, image, and links to the toric-varieties topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the toric-varieties topic, visit your repo's landing page and select "manage topics."