# Gabriele Balletti: Computer-assisted Ehrhart Theory

## Speaker: Gabriele Balletti (RaySearch Laboratories)

**Time: **
Wed 2023-09-27 10.15 - 11.15

**Location: **
Room 3721

ABSTRACT: In this nostalgia-infused talk, I will discuss how modern computational techniques can help us get a better understanding of the landscape of Ehrhart Theory.

I will talk about some computer-assisted proofs I dealt with during my PhD, and a computer-assisted disproof I surprisingly encountered while preparing this talk.

The former concerns volume bounds and other inequalities for the h*-polynomial of lattice polytopes, the latter is a counterexample that answer negatively to a question by Ferroni and Higashitani on the unimodality of the h*-polynomial of products of polytopes with unimodal h*-polynomials.