Recent Changes
This collection shows recently changed items.
- Computer Algebra Systems
- RISC Forum Mar 11, 2024 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: The SLANG Semantics-Based Language Generator
-
risc-logo-text.eps
- inkscape --export-eps=risc-logo-text.eps risc-logo-text.svg (The .eps file is scalable.)
-
risc-logo-text.svg
- NO RISC Forum May 20, 2024 from 01:30 PM to 01:45 PM
- Holiday (Pentecost)
- RISC Forum Apr 15, 2024 from 01:30 PM to 01:45 PM
- NN: TBN
- NO RISC Forum Apr 01, 2024 from 01:30 PM to 01:45 PM
- Holiday (Easter)
- NO RISC Forum Mar 25, 2024 from 01:30 PM to 01:45 PM
- lecture-free
- RISC Forum Mar 04, 2024 from 01:30 PM to 01:45 PM
- Carsten Schneider: Start of Semester, Organizational Items
- Summer Semester 2024
- RISC Forum Nov 27, 2023 from 01:30 PM to 01:45 PM
- Josef Schicho: What is generic? Three answers.
- RISC Forum Jan 15, 2024 from 01:30 PM to 01:45 PM
- Cleo Pau: Symbolic Techniques for, Approximate Reasoning
- RISC Forum Jun 05, 2023 from 01:30 PM to 01:45 PM
- Eriola Hoxhaj: How to Reconstruct a Planar Map From its Discriminant
- RISC Forum Oct 23, 2023 from 01:30 PM to 01:45 PM
- Abilio de Freitas: Computer Algebra and Three-loop Massive QCD Form Factors
- RISC Forum Jan 30, 2023 from 01:30 PM to 01:45 PM
- Nicolas Smoot: Provisional Results in the Localization Method
- RISC Forum Jan 08, 2024 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: The RISCTP Software - A MESON Prover with Equality and Theory Support
- RISC Forum Jun 19, 2023 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: RISCAL & RISCTP - Analyzing Discrete Theories and Algorithms by Model Checking & Proving
- RISC Forum Dec 11, 2023 from 01:30 PM to 01:45 PM
- Georg Ehling: Unification in Quantitative Equational Theories
- RISC Forum May 08, 2023 from 01:30 PM to 01:45 PM
- Ralf Hemmecke: Multi-SubAlgebra-Module-Basis-Algorithm in Progress
- RISC Forum Jan 22, 2024 from 01:30 PM to 01:45 PM
- Eriola Hoxhaj: Dupin Cyclides
