Listen
Links
Collaborators
Zbigniew Galias, AGH-University, (dynamical systems).
Andrew Hooker, Uppsala University, (pharmacokinetic modelling).
Hans Koch, University of Texas, (period doubling).
Hiroshi Kokubu, Kyoto University, (dynamical systems).
Gunilla Kreiss, Uppsala University, (existence proofs for viscous shocks).
Stefano Luzzatto, ICTP, (dynamical systems).
Irina Mitrea, Temple University, (spectral problems for Lamé systems).
Vincent Moulton, University of Norwich, (parameter reconstruction of metabolic pathways).
Arnold Neumaier, University of Vienna, (optimization with differential constraints).
Raazesh Sainudiin, University of Canterbury, (rigorous parameter estimation).
Michael Yampolsky, University of Toronto, (renormalization).
Piotr Zgliczynski, Jagiellonian University, (dynamical systems).
Organizations
AriC – AriC team, Lyon
CIM – Centre for Interdisciplinary Mathematics
FoCM – Foundations of Computational Mathematics
SIAM – Society for Industrial and Applied Mathematics
Research groups
COPRIN – Constraints solving, OPtimisation, Robust INterval analysis
ENSIETA – Ecole Nationale Supérieure des Ingénieurs des Etudes et Techniques d'Armement
Interval Analysis and its Applications
IRC – Institute for Reliable Computing
Software
CUDA – Compute Unified Device Architecture
CAPD – Computer Assisted Proofs in Dynamics
CHOMP – Computational Homology Project
INTLAB – INTerval LABoratory