Accéder directement au contenu

Bernard Mourrain

3
Documents

Publications

vdhoeven

Mathemagix

 Joris van der Hoeven , Grégoire Lecerf , Bernard Mourrain , Philippe Trebuchet , Jérémy Berthomieu
ACM Communications in Computer Algebra, 2012, 45 (3/4), pp.186-188. ⟨10.1145/2110170.2110180⟩
Article dans une revue hal-02350521v1
Image document

Efficient certication of numeric solutions to eigenproblems

 Joris van der Hoeven , Bernard Mourrain
MACIS 2017 - 7th International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2017, Vienna, Austria. pp.81--94, ⟨10.1007/978-3-319-72453-9_6⟩
Communication dans un congrès hal-01579079v1

Efficient Certification of Numeric Solutions to Eigenproblems

 Joris van der Hoeven , Bernard Mourrain
Mathematical Aspects of Computer and Information Sciences, pp.81-94, 2017, ⟨10.1007/978-3-319-72453-9_6⟩
Chapitre d'ouvrage hal-02350517v1