-
RISC Forum
-
Speaker: Prof. Matthias Beck, San Francisco State University
Title: Integer-point Enumeration in Polyhedra
Located in
Internal
/
RISC Forum
/
2012
-
RISC Forum
-
James Davenport, University of Bath: Branch cuts - not just a technical detail
Located in
Internal
/
RISC Forum
/
2012
-
RISC Colloquium
-
Dr. Johannes Bluemlein: The Direction of Physical Time
Located in
Internal
/
RISC Forum
/
2011
-
RISC Forum
-
Wolfgang Windsteiger: Extension of RISC
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 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
-
Johannes Middeke: Converting matrices of Ore polynomials from Popov form to Hermite form using the FGLM algorithm
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
-
Markus Hohenwarter: GeoGebra - dynamic geometry and algebra
Located in
Internal
/
RISC Forum
/
2010
