Projects

We will work on the following projects at this workshop:

Toric Vector Bundles

Lead: Sasha Zotine

Computing comprehensive Gröbner systems

Leads: Giulia Gaggero and Oliver Clarke

Certified approximation of algebraic varieties

Lead: Kisun Lee

This project aims to prototype certified numerical tools for approximating algebraic varieties inside Macaulay2. Starting from a polynomial system and one nonsingular point, we will construct local tangent-normal coordinates, use interval/Krawczyk certification to validate local boxes, and explore how these certified patches can be extended into curve and surface approximations. The package will also include visualization of certified algebraic varieties.

Tropical Geometry

Lead: Diane Maclagan

We will work on improving the Tropical.m2 package, and updating gfanInterface.m2 for the new release of gfan.