S. Boldo
发表
James Demmel,
William Kahan,
Guillaume Melquiond,
2008
.
S. Boldo,
M. Daumas,
Ren-Cang Li,
2009
.
S. Boldo,
2006
.
S. Boldo,
M. Daumas,
2006
.
S. Boldo,
M. Daumas,
2002
.
Yannick Moy,
Claude Marché,
Jean-Christophe Filliâtre,
2006
.
Alessandro Abate,
Sylvie Boldo,
S. Boldo,
2017
.
S. Boldo,
Diane Gallois-Wong,
Pascal Cuoq,
2019,
Numerical Algorithms.
S. Boldo,
G. Melquiond,
Catherine Lelay,
2014,
Mathematics in Computer Science.
Guillaume Melquiond,
Sylvie Boldo,
Catherine Lelay,
2015,
Mathematical Structures in Computer Science.
Vincent Martin,
François Clément,
Sylvie Boldo,
2017,
CPP.
Guillaume Melquiond,
Sylvie Boldo,
Catherine Lelay,
2015,
Math. Comput. Sci..
Sylvie Boldo,
Ren-Cang Li,
Marc Daumas,
2007,
IEEE Transactions on Computers.
Jean-Michel Muller,
Nicolas Brisebarre,
Florent de Dinechin,
2023,
Acta Numerica.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2012,
Comput. Math. Appl..
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2022
.
Sylvie Boldo,
S. Boldo,
2009,
ICALP.
César Muñoz,
Sylvie Boldo,
S. Boldo,
2006
.
Sylvie Boldo,
Marc Daumas,
S. Boldo,
2004,
International Journal on Software Tools for Technology Transfer.
Alessandro Abate,
Sylvie Boldo,
S. Boldo,
2017,
Lecture Notes in Computer Science.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
Sylvie Boldo,
2009,
Calculemus/MKM.
S. Boldo,
G. Melquiond,
X. Leroy,
2015,
Journal of Automated Reasoning.
Guillaume Melquiond,
Xavier Leroy,
Jacques-Henri Jourdan,
2023,
Acta Numerica.
Guillaume Melquiond,
Sylvie Boldo,
S. Boldo,
2011,
2011 IEEE 20th Symposium on Computer Arithmetic.
S. Boldo,
William Weens,
Louise Ben Salem-Knapp,
2022,
IEEE Transactions on Emerging Topics in Computing.
Jean-Michel Muller,
Sylvie Boldo,
Christoph Lauter,
2021,
IEEE Transactions on Computers.
Sylvie Boldo,
Ren-Cang Li,
Marc Daumas,
2003,
Proceedings 2003 16th IEEE Symposium on Computer Arithmetic.
Sylvie Boldo,
Florian Faissole,
Micaela Mayero,
2021,
Journal of Automated Reasoning.
Sylvie Boldo,
Florian Faissole,
Alexandre Chapoutot,
2020,
IEEE Transactions on Computers.
Sylvie Boldo,
Florian Faissole,
Alexandre Chapoutot,
2017,
2017 IEEE 24th Symposium on Computer Arithmetic (ARITH).
Sylvie Boldo,
Thi Minh Tuyen Nguyen,
S. Boldo,
2011,
Innovations in Systems and Software Engineering.
Thibault Hilaire,
Sylvie Boldo,
Diane Gallois-Wong,
2020,
2020 IEEE 27th Symposium on Computer Arithmetic (ARITH).
Guillaume Melquiond,
Sylvie Boldo,
S. Boldo,
2008,
IEEE Transactions on Computers.
Sylvie Boldo,
Pascal Cuoq,
Diane Gallois-Wong,
2020,
Numerical Algorithms.
Sylvie Boldo,
S. Boldo,
2009,
IEEE Transactions on Computers.
Sylvie Boldo,
S. Boldo,
2006,
IJCAR.
César A. Muñoz,
Sylvie Boldo,
S. Boldo,
2006,
SAC.
Jean-Michel Muller,
Valentina Popescu,
Sylvie Boldo,
2017,
ITP.
Guillaume Melquiond,
Siegfried M. Rump,
Sylvie Boldo,
2009
.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2010,
ITP.
Claude Marché,
Sylvie Boldo,
S. Boldo,
2011,
Math. Comput. Sci..
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2011,
ArXiv.
Sylvie Boldo,
Laurent Théry,
Marc Daumas,
2001,
ArXiv.
S. Boldo,
Vincent Martin,
Micaela Mayero,
2022,
ArXiv.
Thibault Hilaire,
Sylvie Boldo,
Diane Gallois-Wong,
2018,
CICM.
S. Boldo,
Franccois Cl'ement,
LOUISE LECLERC,
2022,
ArXiv.
S. Boldo,
G. Melquiond,
J. Filliâtre,
2011,
Journal of Automated Reasoning.