Dear Colleagues,
You are most cordially invited to the Yeditepe Mathematics Department 25th Year Seminars organized by the Department of Mathematics (please note that the seminar is at 18:00 this week). The details of this week's talk are as follows:

Title: Proofs by example

Speaker:  Benjamin Matschke (Boston University)

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. 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.

Date: Friday, March 19, 2021

Saat: 18:00

Yer: Contact Asst. Prof. Dr. Mehmet Akif ERDAL (mehmet.erdal@yeditepe.edu.tr).

You can fınd a copy of the flyer here. For a full list of this semester's seminar schedule, click on the link below!

https://researchseminars.org/seminar/7tepemathseminars