01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
New Software for Analytic Combinatorics
Appears in collection : 2023 - T3 - WS3 - Computer algebra for functional equations in combinatorics and physics
This talk surveys some recently developed software for analytic combinatorics, including an extension to the Sage ore_algebra package for the asymptotics of P-recursive sequences with explicit error terms (used for certifying sequence positivity), and the new sage_acsv package for rigorous multivariate asymptotics using the tools of Analytic Combinatorics in Several Variables (ACSV).
