Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Sylvie Boldo

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Guillaume Melquiond

> Home > Persons > Sylvie Boldo

Publications

2023
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/actanum/BoldoJMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actanum/BoldoJMM23
Sylvie Boldo, Claude-Pierre Jeannerod, Guillaume Melquiond, Jean-Michel Muller:
Floating-point arithmetic. Acta Numer. 32: 203-290 (2023)
2021
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/BoldoM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/BoldoM21
Sylvie Boldo, Guillaume Melquiond:
Some Formal Tools for Computer Arithmetic: Flocq and Gappa. ARITH 2021: 111-114
2017
[b2]
- view
  - electronic edition @ elsevier.com
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0041425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0041425
Sylvie Boldo, Guillaume Melquiond:
Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System. ISTE Press 2017, ISBN 978-1-7854-8112-3, pp. I-XX, 1-306
2016
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BoldoLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BoldoLM16
Sylvie Boldo, Catherine Lelay, Guillaume Melquiond:
Formalization of real analysis: a survey of proof assistants and libraries. Math. Struct. Comput. Sci. 26(7): 1196-1233 (2016)
2015
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BoldoJLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BoldoJLM15
Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond:
Verified Compilation of Floating-Point Computations. J. Autom. Reason. 54(2): 135-163 (2015)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/mics/BoldoLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/BoldoLM15
Sylvie Boldo, Catherine Lelay, Guillaume Melquiond:
Coquelicot: A User-Friendly Library of Real Analysis for Coq. Math. Comput. Sci. 9(1): 41-62 (2015)
2014
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cma/BoldoCFMMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cma/BoldoCFMMW14
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis:
Trusting computations: A mechanized proof from partial differential equations to actual program. Comput. Math. Appl. 68(3): 325-352 (2014)
2013
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BoldoCFMMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BoldoCFMMW13
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis:
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. J. Autom. Reason. 50(4): 423-456 (2013)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/BoldoJLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/BoldoJLM13
Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond:
A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. IEEE Symposium on Computer Arithmetic 2013: 107-115
2012
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/BoldoLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/BoldoLM12
Sylvie Boldo, Catherine Lelay, Guillaume Melquiond:
Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives. CPP 2012: 289-304
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BoldoCFMMW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BoldoCFMMW12
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis:
Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program. CoRR abs/1212.6641 (2012)
2011
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/BoldoM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/BoldoM10
Sylvie Boldo, Guillaume Melquiond:
Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq. IEEE Symposium on Computer Arithmetic 2011: 243-252
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1112-1795
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1112-1795
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis:
Wave Equation Numerical Resolution: Mathematics and Program. CoRR abs/1112.1795 (2011)
2010
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/BoldoCFMMW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/BoldoCFMMW10
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis:
Formal Proof of a Wave Equation Resolution Scheme: The Method Error. ITP 2010: 147-162
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1005-0824
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-0824
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis:
Formal Proof of a Wave Equation Resolution Scheme: the Method Error. CoRR abs/1005.0824 (2010)
2009
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BoldoFM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BoldoFM09
Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond:
Combining Coq and Gappa for Certifying Floating-Point Programs. Calculemus/MKM 2009: 59-74
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/BoldoM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/BoldoM08
Sylvie Boldo, Guillaume Melquiond:
Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd. IEEE Trans. Computers 57(4): 462-471 (2008)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.