Skip to main content

Holonomic Techniques, Periods, and Decision Problems

Posted in
Joël Ouaknine
MPI for Software Systems, Saarbrücken
Wed, 2020-10-28 14:30 - 15:30
Parent event: 
Number theory lunch seminar

Zoom Online Meeting ID: 919 6497 4060
For password see the email or contact Pieter Moree (moree@mpim...).

Holonomic techniques have deep roots going back to Wallis, Euler, and Gauss, and have evolved in modern times as an important subfield of computer algebra, thanks in large part to the work of Zeilberger and others over the past three decades. In this talk, I will give an overview of the area, and in particular will present a select survey of known and original results on decision problems for holonomic sequences and functions. I will also discuss some surprising connections to the theory of periods and exponential periods, which are classical objects of study in algebraic geometry and number theory; in particular, I will relate the decidability of certain decision problems for holonomic sequences to deep conjectures about periods and exponential periods, notably those due to Kontsevich and Zagier.

Parts of this talk will be based on the paper "On Positivity and Minimality for Second-Order Holonomic Sequences", .


© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A