The SCEAS System
| |||||||

## Search the dblp DataBase
Sylvie Boldo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Sylvie Boldo, Marc Daumas
**Representable Correcting Terms for Possibly Underflowing Floating Point Operations.**[Citation Graph (0, 0)][DBLP] IEEE Symposium on Computer Arithmetic, 2003, pp:79-86 [Conf] - Sylvie Boldo, Jean-Michel Muller
**Some Functions Computable with a Fused-Mac.**[Citation Graph (0, 0)][DBLP] IEEE Symposium on Computer Arithmetic, 2005, pp:52-58 [Conf] - Ren-Cang Li, Sylvie Boldo, Marc Daumas
**Theorems on Efficient Argument Reductions.**[Citation Graph (0, 0)][DBLP] IEEE Symposium on Computer Arithmetic, 2003, pp:129-136 [Conf] - Sylvie Boldo
**Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms.**[Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:52-66 [Conf] - Sylvie Boldo, César Muñoz
**Provably faithful evaluation of polynomials.**[Citation Graph (0, 0)][DBLP] SAC, 2006, pp:1328-1332 [Conf] - Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Théry
**Computer validated proofs of a toolset for adaptable arithmetic**[Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal] - Sylvie Boldo, Marc Daumas
**Properties of the subtraction valid for any floating point system.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal] - Sylvie Boldo, Marc Daumas
**Properties of two's complement floating point notations.**[Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:2-3, pp:237-246 [Journal] - Sylvie Boldo, Jean-Christophe Filliâtre
**Formal Verification of Floating-Point Programs.**[Citation Graph (0, 0)][DBLP] IEEE Symposium on Computer Arithmetic, 2007, pp:187-194 [Conf] - Sylvie Boldo, Marc Daumas, Ren-Cang Li
**Formally Verified Argument Reduction with a Fused-Multiply-Add**[Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal] **Floats and Ropes: A Case Study for Formal Numerical Program Verification.**[Citation Graph (, )][DBLP]**Combining Coq and Gappa for Certifying Floating-Point Programs.**[Citation Graph (, )][DBLP]**Formal Proof of a Wave Equation Resolution Scheme: The Method Error.**[Citation Graph (, )][DBLP]**Formal Proof of a Wave Equation Resolution Scheme: the Method Error**[Citation Graph (, )][DBLP]**Formal Proof of a Wave Equation Resolution Scheme: the Method Error**[Citation Graph (, )][DBLP]
Search in 0.022secs, Finished in 0.023secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |