-
RISC Forum
-
Zsuzsanna Sinka: Self-Introduction; Miroslav Korbelar: Self-Introduction
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Robert Vajda: Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools (PhD Thesis Summary, Internal Defence)
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Salvador Lucas: From functions to numeric interpretations: mechanizing proofs of termination using numeric algebras
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Christoph Koutschan: Computer algebra algorithms for d-finite and holonomic functions (internal thesis defense)
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Dr. Elias Tsigaridas: (Exact) Algebraic Algorithms and (Some) Applications
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Anja Korporal: Self-Introduction;
Segun Michael Akinwumi: The Journey on Mathematics Skills
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Presentation of new PhD Students
Located in
Internal
/
RISC Forum
/
2008
-
RISC Forum
-
Start of Winter Semester 2008
Located in
Internal
/
RISC Forum
/
2008
-
RISC Forum
-
Heinrich Rolletschek: Lattice axioms
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Lena Kartashova: Special functions and Series appearing in Nonlinear Resonance Analysis
Located in
Internal
/
RISC Forum
/
2009
