Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gif-sur-Yvette, France Alexandre Chapoutot2 Universit
Olivier Bouissou, Yassamine Seladji, Alexandre Cha