Recent Changes
This collection shows recently changed items.
- RISC Forum Mar 13, 2023 from 01:30 PM to 01:45 PM
- Temur Kutsia: TBN
- Summer Semester 2023
- RISC Forum Mar 06, 2023 from 01:30 PM to 01:45 PM
- Prof. Paule: Welcome to the new Semester; organizational Items.
- Programming in Mathematica
- RISC Forum Jan 23, 2023 from 01:30 PM to 01:45 PM
- Carsten Schneider: Finding sum solutions with minimal degrees
- 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 16, 2023 from 01:30 PM to 01:50 PM
- Barbara Qi: Five representations of a phylogenetic tree
- RISC Forum Dec 12, 2022 from 01:30 PM to 01:45 PM
- Lukas Wögerer: Self-introduction
- NO RISC Forum Dec 05, 2022 from 01:30 PM to 01:45 PM
- RISC Forum Nov 28, 2022 from 01:30 PM to 02:15 PM
- Koustav Banerjee: New asymptotics and inequalities related to the partition function (Pre Defence)
- RISC Forum Nov 14, 2022 from 01:30 PM to 01:45 PM
- David Cerna: Excuesions into Inductive Synthesis
- RISC Forum Nov 21, 2022 from 01:30 PM to 02:45 PM
- Nikolai Fadeev: TBA
- RISC Forum Nov 07, 2022 from 01:30 PM to 02:00 PM
- Wolfgang Schreiner: The RISCAL Software, Some Recent Developments...
- NO RISC Forum Oct 31, 2022 from 01:30 PM to 01:45 PM
- Originally planned talk by Nicolas Smoot will be shifted to later.
- RISC Forum Oct 17, 2022 from 01:30 PM to 01:45 PM
- Hans-Wolfgang Loidl (Heriot-Watt University, Edinburgh): Challenges and Opportunities in Parallel Symbolic Computation
- RISC Forum Jan 09, 2023 from 01:30 PM to 01:50 PM
- Eriola Hoxhaj: Progress report
- RISC Forum Oct 24, 2022 from 01:30 PM to 01:45 PM
- Georg Ehling: Self-introduction
- RISC Forum Oct 10, 2022 from 01:30 PM to 01:45 PM
- Prof. Paule: Welcome to the new Semester; organizational Items.
- Computer Algebra Systems