Recent Changes
This collection shows recently changed items.
- RISC Forum Dec 13, 2021 from 01:30 PM to 01:45 PM
- Temur Kutsia: Report on Recent Activities
- NO RISC Forum Jun 06, 2022 from 01:30 PM to 01:45 PM
- Holiday (Pentecost)
- 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 Mar 07, 2022 from 01:30 PM to 02:00 PM — Zoom,
- Prof. Paule: Welcome to the new Semester; organizational Items.
- Publications
- RISC Forum Jan 10, 2022 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: The RISCAL Software - Semantic Evaluation versus SMT Solving
- RISC Forum Nov 22, 2021 from 01:30 PM to 01:45 PM
- Peter Paule: Organizational Items
- RISC Forum Dec 06, 2021 from 01:30 PM to 01:45 PM
- Sebastian Falkensteiner: "Recent Questions in my Research"
- RISC Forum Nov 08, 2021 from 01:30 PM to 02:00 PM
- Ralf Hemmecke: QEta: A FriCAS package to find and proved generalized eta-quotient identities. Wolfgang Schreiner: Short-presentation of a new book.
- NO RISC Forum Oct 25, 2021 from 01:30 PM to 01:45 PM — Hybrid (Zoom and Pond-Seminarroom),
- RISC Forum Oct 04, 2021 from 01:30 PM to 03:00 PM — Zoom,
- Prof. Paule: Welcome to the new Semester; organizational Items.
- 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
- NO RISC Forum Nov 01, 2021 from 01:30 PM to 01:45 PM
- All Souls Day (Holiday)
- Research
- RISC Forum Jun 14, 2021 from 01:30 PM to 01:45 PM
- Ralf Wahner: Short presentation of the RISC video-system; Wolfgang Windsteiger: DOI numbers for RISC Reports incl. JKU epub
- RISC Forum Jun 21, 2021 from 01:30 PM to 01:50 PM
- Franz Winkler: My Life in Computer Algebra
- RISC Forum Jun 07, 2021 from 01:30 PM to 01:45 PM
- Barbara Qi: An identity on multinomial coefficients.