Dr. Zafeirakis Zafeirakopoulos
Polyhedral Omega: A Linear Diophantine System Solver
3th of December 2015,
Room: E-2000, 10h30
