The School of Computer Science at the University of Windsor is pleased to present…
Speaker: Tanbir Ahmed
Title: Computer Assisted discovery of patterns and properties in Ramsey Theory on the Integers
Date: Friday November 3, 2023
Time: 11:00 am – 12:00 pm
Location: Erie Hall Room 3123
Abstract:
Ramsey Theory has been a challenging but exciting area in mathematics for decades.
Theoretical results in this broad area draw significant attention due to the inherently difficult nature of the problems.
For the same reason, discovering Ramsey-type extremal combinatorial objects, such as graphs and numbers, continues to challenge computer scientists and mathematicians towards pushing the computational limits.
Recently, computer experiments and explorations have not only allowed us to discover patterns and properties with further insight into those extremal problems, but also have helped us to rekindle the excitement, particularly among a new generation of mathematicians and computer scientists.
In this talk, I present some results in Ramsey theory on the Integers related to arithmetic progressions.
In the process, demonstrate examples where experimental mathematics plays a significant role towards mathematical advancement.
Keywords:
Ramsey Theory; Ramsey Theory on the Integers; SAT; the Satisfiability problem; van der Waerden numbers
Biography: Tanbir Ahmed is an experimental mathematician and a computer scientist with contributions in Integer and Zero-sum Ramsey Theory, Combinatorial Search, SAT, Discrete Geometry, Algebra, Graphs, Permutations, and computer-assisted proofs.
He discovered around half the known van der Waerden numbers and several values and bounds for Schur numbers.
He got his M.S. under Professor Vašek Chvátal and his Ph.D. under Professor Clement Lam, both from Concordia University.
He was a postdoc at LACIM which is one of the Centre de Recherches Mathématiques (CRM) laboratories.
He is an active researcher and passionately continues to make his contributions in the above areas.