A formal study of Bernstein coefficients and polynomials
Résumé
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.
Domaines
Logique en informatique [cs.LO]
Fichier principal
check_version_Jan_2011.pdf (575.13 Ko)
Télécharger le fichier
bernstein.zip (48.46 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)