Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia

Teoria Automatów

 

Orbit-finite systems of inequalities


Prelegent: Arka Ghosh

2023-03-15 14:15

A system of inequalities is orbit-finite if it is finite up to certain permutations of variables. In this talk, I will describe this concept using interesting examples, and present our recent results on the solvability of these systems. In particular, we have proven that the existence of finitely supported solutions of orbit-finite systems of inequalities is undecidable for integer solutions and decidable for rational solutions. This is a joint work with Piotr Hofman and Sławomir Lasota.