-
RISC Forum
-
Silviu Radu: Progress Report
Located in
Internal
/
RISC Forum
/
2010
-
RISC Forum
-
Jakob Praher: Application talk.
Located in
Internal
/
RISC Forum
/
2010
-
RISC Forum
-
Karoly Bosa: RISC Activities in Parallel/Distributed Computing: the Projects Austrian Grid and SCIEnce
Located in
Internal
/
RISC Forum
/
2010
-
RISC Forum
-
Markus Hohenwarter: GeoGebra - dynamic geometry and algebra
Located in
Internal
/
RISC Forum
/
2010
-
RISC Forum
-
Prof. George Rahonis: Equational Tree Transformations
Located in
Internal
/
RISC Forum
/
2010
-
RISC Forum
-
Christian Aistleitner: Differential aspects of differential characteristic set computations (internal thesis defense)
Located in
Internal
/
RISC Forum
/
2010
-
RISC Forum
-
Johannes Middeke: Converting matrices of Ore polynomials from Popov form to Hermite form using the FGLM algorithm
Located in
Internal
/
RISC Forum
/
2010
-
RISC Colloquium
-
Prof. Dongming Wang (Université Pierre et Marie Curie, Paris), Xiaoyu Chen (Beihang University, Beijing): Formalization and Management of Geometric Knowledge
Located in
Internal
/
RISC Forum
/
2010
-
RISC Forum
-
Fredrik Johansson: Self-Introduction; Cehavir Demirkiran: Self-Introduction; Yanli Huang: Self-introduction
Located in
Internal
/
RISC Forum
/
2010
-
RISC Forum
-
Wolfgang Windsteiger: Extension of RISC
Located in
Internal
/
RISC Forum
/
2010
