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 = {axe_Mohytos, TEMPO},
}


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

info visites 4093789