B4: Enumerating tropical curves and hypersurfaces

We will provide new algorithms for tropical enumerative geometry and implement these in polymake (and OSCAR). To this end we will use lattice paths, floor diagrams and other techniques from computational geometry. For the first time, this will enable users and researchers worldwide to perform large scale computations on Gromov–Witten and related invariants. As we expect, overcoming some of the obstacles on the way will also lead to structural new results on moduli spaces which will be of independent interest.