Project violet: T(1) and T(b) theorems and applications
De Simon Bortz , Alessandra Migliaccio , Sven Lauterbach , Dann van Dijk
The norm of the backward shift operator on $H^1$ is $\frac{2}{\sqrt{3}}$
De Kristian Seip
Apparaît dans la collection : 2023 - T3 - WS3 - Computer algebra for functional equations in combinatorics and physics
A partition of a positive integer $n$ is a non-increasing sequence of positive integers whose sum is $n$. A partition identity is a theorem stating that for all $n$, the number of partitions of $n$ satisfying some conditions equals the number of partitions of $n$ satisfying some other conditions. In this talk, we will show how functional equations and computer algebra can be used to prove such identities. In particular we will discuss a semi-automatic method using recurrences and $q$-difference equations, and what would be needed to make it fully automatic.