[Turkmath:4811] Seminar on March 19, 2021 at 18:00 via Zoom

[Mehmet Akif Erdal]

Dear list members,

You are most cordially invited to the Yeditepe Mathematics Department 25th
Year Seminars organized by the Department of Mathematics. 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
Time: 18:00
Zoom: Please write an e-mail to me for the seminar link.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20210317/21961ebe/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Seminar Mar 19 2021.pdf
Type: application/pdf
Size: 171887 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20210317/21961ebe/attachment-0001.pdf>