bibtex

@article{MRD9,
    title = {Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations },
    author = {Magron, Victor and Rocca, Alexandre and Dang, Thao},
    year = {2019},
    journal = {IEEE Transactions on Computers},
    team = {axe_Mohytos, TEMPO},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4192387