"Computer-aided proofs in analysis"


Trees and wall


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).


AriC – AriC team, Lyon

CIM – Centre for Interdisciplinary Mathematics

FoCM – Foundations of Computational Mathematics

Interval Computations

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


CUDA – Compute Unified Device Architecture

CAPD – Computer Assisted Proofs in Dynamics

CHOMP – Computational Homology Project

INTLAB – INTerval LABoratory

FILIB++ Interval Library


XSC Languages

mpfr/mpfi Languages