Paul Zimmermann, 24.03.2014-25.03.2014

Kauers, M. (Host)
Paul Zimmermann (Host)

Research Institute for Symbolic Computation

Activity: Other › Incoming (legacy data)

Description

Home institution: INRIA Nancy, France

Period	24 Mar 2014 → 25 Mar 2014

Fields of science

101013 Mathematical logic
101001 Algebra
101012 Combinatorics
101020 Technical mathematics
101 Mathematics
101009 Geometry
101005 Computer algebra

JKU Focus areas

Computation in Informatics and Mathematics