Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations - Archive ouverte HAL Accéder directement au contenu Accéder directement à la navigation
Ouvrage (y compris édition critique et traduction)

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations

Victor Magron 1 Alexandre Rocca 2 Thao Dang 3
2 TIMC-BCM - Biologie Computationnelle et Mathématique
TIMC - Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525
Type de document :
Ouvrage (y compris édition critique et traduction)
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02402354
Contributeur : Thao Dang <>
Soumis le : mardi 10 décembre 2019 - 14:06:03
Dernière modification le : jeudi 3 décembre 2020 - 16:14:03

Lien texte intégral

Identifiants

Collections

Citation

Victor Magron, Alexandre Rocca, Thao Dang. Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. 68 (7), pp.953-966, 2019, ⟨10.1109/TC.2018.2851235⟩. ⟨hal-02402354⟩

Partager

Métriques

Consultations de la notice

273