<div dir="ltr"><div style="font-size:13px">Degerli liste üyeleri,</div><div style="font-size:13px"><br></div><div style="font-size:13px">Galatasaray Üniversitesi Matematik Bölümü Seminerleri kapsaminda 11 Kasım çarsamba günü saat 15:00'da FEF 9 nolu  sinifta </div><h3 style="font-size:inherit;white-space:nowrap;overflow:hidden;max-width:92%;margin:inherit"><span style="font-size:12.8px;vertical-align:top"><span style="font-weight:normal">Zafeirakis Zafeirakopoulos (Galatasaray Universitesi)</span></span><span style="font-size:13px;font-weight:normal"> konusma yapacaktir. </span></h3><div style="font-size:13px">Konusma ile ilgili bazi detaylar söyledir:</div><div style="font-size:13px"><br></div><div style="font-size:12.8px"><div>Baslik: <span style="font-size:12.8px">Polyhedral Omega: A new linear Diophantine system solver."</span></div><div style="font-size:13px"><br></div><div><span style="font-size:13px">Özet: </span><span style="font-size:12.8px">Polyhedral</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">Omega</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">is a new algorithm for solving linear Diophantine systems (LDS), i.e., for computing a multivariate rational function representation of the set of all non-negative integer solutions to a system of linear equations and inequalities.</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">Polyhedral</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">Omega </span><span style="font-size:12.8px">combines methods from partition analysis with methods from</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">polyhedral</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">geometry. In particular, we combine MacMahon’s iterative approach based on the</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">Omega</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">operator and explicit formulas for its evaluation with geometric tools such as Brion decomposition and Barvinok’s short rational function representations. In this way, we connect two branches of research that have so far remained separate, unified by the concept of symbolic cones which we introduce. The resulting LDS solver</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">Polyhedral</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">Omega</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">is significantly faster than previous solvers based on partition analysis and it is competitive with state-of-the-art LDS solvers based on geometric methods. Most importantly, this synthesis of ideas makes</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">Polyhedral</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">Omega</span><span style="font-size:12.8px"> </span><span style="font-size:12.8px">by far the simplest algorithm for solving linear Diophantine systems available to date. This is joint work with Felix Breuer.</span></div><div><br></div><div><br></div><div>Saygılarımla </div><div><br></div><div><div style="font-size:12.8px"><span class=""><font color="#000000"><div>Serap Gürer </div><div>Galatasaray Üniversitesi </div><div>Matematik Bölümü </div><div>İstanbul<b> </b></div></font></span></div><span class="" style="font-size:12.8px"><font color="#888888"></font></span></div><div><br></div></div><div hspace="streak-pt-mark" style="max-height:1px"><img style="width:0px;max-height:0px;overflow:hidden" src="https://mailfoogae.appspot.com/t?sender=ac2VyYXBndXJlckBnbWFpbC5jb20%3D&type=zerocontent&guid=32798862-58e1-4b91-b531-35a91b98e65a"><font color="#ffffff" size="1">ᐧ</font></div></div>