Recent Changes
This collection shows recently changed items.
- RISC Forum Jun 20, 2022 from 01:30 PM to 01:45 PM
- Myriam Dupraz: self introduction
- RISC Forum May 23, 2022 from 01:30 PM to 01:55 PM
- David Cerna: What I talk about when I talk about my current research. Michal Buran: Self introduction.
- 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.
- RISC Forum Apr 04, 2022 from 01:30 PM to 01:45 PM
- Georg Grasegger: Symmetric Rigidity and Flexibility of Graphs
- Triangle-50-60 Puzzle
-
triangle-50-60.png
- RISC Forum Mar 28, 2022 from 01:30 PM to 01:45 PM
- Philipp Nuspl: "Recurrence Sequences in the OEIS"
- RISC Forum May 30, 2022 from 01:30 PM to 01:45 PM
- Edwin Lughofer: 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 21, 2022 from 01:30 PM to 01:45 PM
- Nicolas Smoot: TBA
- RISC Forum Jan 31, 2022 from 01:30 PM to 01:45 PM
- Barbara Qi: Report on recent activities
- RISC Forum May 17, 2021 from 01:30 PM to 01:45 PM
- Tudor Jebelean: Computer Aided Teaching of Computational Logic Using Mathematica and Theorema
- RISC Forum May 03, 2021 from 01:30 PM to 01:45 PM
- David Cerna: When First-order Unification Calls Itself
- RISC Forum Apr 26, 2021 from 01:30 PM to 01:45 PM
- Carsten Schneider: Symbolic Summation in Difference Rings and its Applications
- RISC Forum Oct 18, 2021 from 01:30 PM to 01:45 PM — Hybrid (Zoom and Pond-Seminarroom),
- David Cerna: Current Activities and Research Directions
- RISC Forum Oct 11, 2021 from 01:30 PM to 01:45 PM — Hybrid (Zoom and Pond-Seminarroom),
- Nicolas Smoot: Partition Congruences and Groebner Bases
- RISC Forum Nov 29, 2021 from 01:30 PM to 01:45 PM
- Mehdi Makhul: Algebraic Solutions of Fuchsian Differential Equations
