Tau conjectures of Koiran and Poitier are an approach towards proving arithmetic circuit lower bounds. Besides that, they are related to some interesting mathematics. I will explain the background and whatever I feel like at the moment.

Chair: Michal Koucky, Pavel Pudlak

The programme is announced via the mailing list.

Institute of Mathematics, CAS

Friday, 27. November 2020 - 14:30 to 16:30

Tau conjectures of Koiran and Poitier are an approach towards proving arithmetic circuit lower bounds. Besides that, they are related to some interesting mathematics. I will explain the background and whatever I feel like at the moment.