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

Victor Magron; Alexandre Rocca; Thao Dang

doi:10.1109/TC.2018.2851235

Ouvrages Année : 2019

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

(1) , (2) , (3)

1
2
3

Victor Magron

Fonction : Auteur
PersonId : 171112
IdHAL : victor-magron
ORCID : 0000-0003-1147-3738
IdRef : 176992316

Imperial College London

Alexandre Rocca

Fonction : Auteur

Biologie Computationnelle et Mathématique

Thao Dang

Fonction : Auteur
PersonId : 180504
IdHAL : thao-dang
ORCID : 0000-0002-3637-1415
IdRef : 121779823

VERIMAG

Domaines

Arithmétique des ordinateurs

Thao Dang : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02402354

Soumis le : mardi 10 décembre 2019-14:06:03

Dernière modification le : jeudi 4 avril 2024-21:21:17

Dates et versions

hal-02402354 , version 1 (10-12-2019)

Identifiants

HAL Id : hal-02402354 , version 1
DOI : 10.1109/TC.2018.2851235

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS TIMC-IMAG TIMC-IMAG-BCM VERIMAG

1081 Consultations

0 Téléchargements

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

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager