빅데이터 기반 금융·수산·제조 혁신 산업수학센터

Online Seminar: Tropical mathematics and ML

Time: MonNov 1815:30

Zoom ID: 656 800 6632

Title: Machine Assisted Proofs and Disproofs in Discrete Geometry

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.