Personal tools
You are here: Home

Search results

43 items matching your search terms.
Filter the results.
Item type









New items since



Sort by relevance · date (newest first) · alphabetically
RISC Forum
Heinrich Rolletschek: Lattice axioms
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
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