Online Seminar: Tropical mathematics and ML
Time: MonNov 1815:30
Zoom ID: 656 800 6632
Abstract: I will discuss how modern computational techniques can help us get a better understanding of the mathematics of geometric structures, with examples from Ehrhart Theory of lattice polytopes. I will present several machine-assisted proofs where computational aid has been essential, and a more recent counterexample - achieved through a genetic algorithm - that answers negatively to a question by Ferroni and Higashitani.