Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

A formal study of Bernstein coefficients and polynomials

Yves Bertot 1 Guilhot Frédérique 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
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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas
Contributor : Assia Mahboubi <>
Submitted on : Friday, July 16, 2010 - 12:55:38 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:28 PM
Long-term archiving on: : Tuesday, October 23, 2012 - 10:30:23 AM


Files produced by the author(s)


  • HAL Id : inria-00503017, version 1


Yves Bertot, Guilhot Frédérique, Assia Mahboubi. A formal study of Bernstein coefficients and polynomials. 2010. ⟨inria-00503017v1⟩



Record views


Files downloads