A formal study of Bernstein coefficients and polynomials

Yves Bertot 1 Frédérique Guilhot 1 Assia Mahboubi 2, 3
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
2 TYPICAL - Types, Logic and computing
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : Bernstein coefficients provide a discrete approximation of the behavior of a polynomial inside an interval. This can be used for example to isolate real roots of polynomials. We prove a criterion for the existence of a single root in an interval and the correctness of the de Casteljau algorithm to compute efficiently Bernstein coefficients.
Type de document :
Article dans une revue
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, 21 (04), pp.731-761. 〈10.1017/S0960129511000090〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00503017
Contributeur : Assia Mahboubi <>
Soumis le : mercredi 5 novembre 2014 - 11:37:21
Dernière modification le : jeudi 12 avril 2018 - 01:47:59
Document(s) archivé(s) le : vendredi 6 février 2015 - 10:25:16

Fichier

check_version_Jan_2011.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Yves Bertot, Frédérique Guilhot, Assia Mahboubi. A formal study of Bernstein coefficients and polynomials. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, 21 (04), pp.731-761. 〈10.1017/S0960129511000090〉. 〈inria-00503017v2〉

Partager

Métriques

Consultations de la notice

303

Téléchargements de fichiers

550