<div dir="ltr">Dear list members,<br><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><br>You are most cordially invited to the <span><span><span><span><span>Yeditepe Mathematics Department 25th Year Seminar</span></span></span></span></span>s organized by the Department of Mathematics. The details of this week's talk are as follows:</div><div dir="ltr"><br></div><div>Title: 
Proofs by example

</div><div>Speaker: Benjamin Matschke (Boston University)</div><div><br></div><div>Abstract:  We study the proof method ``proof by example" in which a general statement can be proved by verifying it for a single example. This strategy can indeed work if the statement in question is an algebraic identity and the example is ``generic". This talk addresses the problem of constructing a practical example, which is sufficiently generic, for which the statement can be verified efficiently, and which allows for a numerical margin of error.<br>               Our method is based on diophantine geometry, in particular an arithmetic Bezout theorem, an arithmetic Nullstellensatz, and a new effective Liouville-Lojasiewicz type inequality for algebraic varieties. As an application we discuss theorems from plane geometry and how to prove them by example.</div><div><br></div><div><br></div><div><br></div><div>
<div>Date: Friday, March 19, 2021</div>
<div>Time: 18:00</div>
<div>Zoom: Please write an e-mail to me for the seminar link.<br></div><div><span><br></span></div></div></div>

</div>
</div></div>