Previous Forums
Collection of RISC Forums in the past.
- RISC Forum May 16, 2022 from 01:30 PM to 01:45 PM
- Carsten Schneider: Symbolic Computation in Difference Rings and Applications
- RISC Forum May 09, 2022 from 01:30 PM to 01:45 PM
- Silviu Radu: "A contribution to a problem posed by Bill Chen"
- RISC Forum May 02, 2022 from 01:30 PM to 01:45 PM
- Koustav Banerjee: "Inequalities for the partition function"
- RISC Forum Apr 25, 2022 from 01:30 PM to 01:45 PM
- Prof. Armin Straub: Lucas congruences and congruence schemes. Abstract: It is a well-known and beautiful classical result of Lucas that, modulo a prime $p$, the binomial coefficients satisfy the congruences \begin{equation*} \binom{n}{k} \equiv \binom{n_0}{k_0} \binom{n_1}{k_1} \cdots \binom{n_r}{k_r}, \end{equation*} where $n_i$, respectively $k_i$, are the $p$-adic digits of $n$ and $k$. Many interesting integer sequences have been shown to satisfy versions of these congruences. For instance, Gessel has done so for the numbers used by Ap\'ery in his proof of the irrationality of $zeta(3)$. We make the observation that a sequence satisfies Lucas congruences modulo $p$ if and only if its values modulo $p$ can be described by a linear $p$-scheme, as introduced by Rowland and Zeilberger, with a single state. This simple observation suggests natural generalizations of the notion of Lucas congruences. To illustrate this point, we derive explicit generalized Lucas congruences for integer sequences that can be represented as certain constant terms. This talk includes joint work with Joel Henningsen.
- NO RISC Forum Apr 18, 2022 from 01:30 PM to 01:45 PM
- Easter Holidays
- NO RISC Forum Apr 11, 2022 from 01:30 PM to 02:00 PM
- Lecture-free (Holy-Week)
- RISC Forum Apr 04, 2022 from 01:30 PM to 01:45 PM
- Georg Grasegger: Symmetric Rigidity and Flexibility of Graphs
- RISC Forum Mar 28, 2022 from 01:30 PM to 01:45 PM
- Philipp Nuspl: "Recurrence Sequences in the OEIS"
- RISC Forum Mar 21, 2022 from 01:30 PM to 01:45 PM
- Nicolas Smoot: TBA
- RISC Forum Mar 14, 2022 from 01:30 PM to 01:45 PM
- Josef Schicho: Rewrite Rules and the Depth of Neural Networks
- RISC Forum Mar 07, 2022 from 01:30 PM to 02:00 PM — Zoom,
- Prof. Paule: Welcome to the new Semester; organizational Items.
- RISC Forum Jan 31, 2022 from 01:30 PM to 01:45 PM
- Barbara Qi: Report on recent activities
- RISC Forum Jan 24, 2022 from 01:30 PM to 01:45 PM
- Guenter Landsmann: Notes on Categories
- RISC Forum Jan 17, 2022 from 01:30 PM to 01:45 PM
- Wolfgang Windsteiger : Using Theorema as a Proof Tutor in the Classroom
- RISC Forum Jan 10, 2022 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: The RISCAL Software - Semantic Evaluation versus SMT Solving
- NO RISC Forum Jan 03, 2022 from 01:30 PM to 01:45 PM
- Lecture-free time because of Christmas holidays
- NO RISC Forum Dec 27, 2021 from 01:30 PM to 01:45 PM
- Lecture-free time because of Christmas.
- NO RISC Forum Dec 20, 2021 from 01:30 PM to 01:45 PM
- Lecture-free time because of Christmas
- RISC Forum Dec 13, 2021 from 01:30 PM to 01:45 PM
- Temur Kutsia: Report on Recent Activities
- RISC Forum Dec 06, 2021 from 01:30 PM to 01:45 PM
- Sebastian Falkensteiner: "Recent Questions in my Research"