Verimag

bibtex

@inproceedings{RMD7,
    title = {Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations },
    author = {Rocca, Alexandre and Magron, Victor and Dang, Thao},
    year = {2017},
    booktitle = {24th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2017, London, United Kingdom, July 24-26, 2017},
    pages = {74--81},
    team = {TEMPO},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 912490