BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Joël Ouaknine (Max Planck Institute for Software Systems) DTSTART:20201118T140000Z DTEND:20201118T150000Z DTSTAMP:20260423T052548Z UID:OWLS/12 DESCRIPTION:Title: Ho lonomic Techniques\, Periods\, and Decision Problems\nby Joël Ouaknin e (Max Planck Institute for Software Systems) as part of Online Worldwide Seminar on Logic and Semantics (OWLS)\n\n\nAbstract\nHolonomic techniques have deep roots going back to Wallis\, Euler\, and Gauss\, and have evolve d 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 decad es. 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 pr oblems for holonomic sequences and functions. I will also discuss some sur prising connections to the theory of periods and exponential periods\, whi ch are classical objects of study in algebraic geometry and number theory\ ; in particular\, I will relate the decidability of certain decision probl ems for holonomic sequences to deep conjectures about periods and exponent ial periods\, notably those due to Kontsevich and Zagier.\n\nParts of this talk will be based on the paper "On Positivity and Minimality for Second- Order Holonomic Sequences"\, https://arxiv.org/abs/2007.12282.\n LOCATION:https://researchseminars.org/talk/OWLS/12/ END:VEVENT END:VCALENDAR