-
RISC Forum
-
Salvador Lucas: From functions to numeric interpretations: mechanizing proofs of termination using numeric algebras
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
-
Zsuzsanna Sinka: Self-Introduction; Miroslav Korbelar: Self-Introduction
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Celebration: START price won by Manuel Kauers
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Clemens Raab: A parametric version of Risch's algorithm for computing definite integrals
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Yanli Huang: Self-Introduction W. Windsteiger: Conference report "Middle East Mathematica Conference 2009"
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Ralf Hemmecke: Keep your references organized -- A tool you always wanted
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Johannes Middeke: "Report on the visit of the University of Waterloo"; Elena Kartashova: "Nonlinear resonance analysis"
Located in
Internal
/
RISC Forum
/
2009
-
RISC Forum
-
Heinrich Rolletschek: Lecture Chess Programming
Located in
Internal
/
RISC Forum
/
2010
-
RISC Forum
-
Silviu Radu: Progress Report
Located in
Internal
/
RISC Forum
/
2010
