Yves Bertot, Frédérique Guilhot, Assia Mahboubi. A formal study of Bernstein coefficients and polynomials. Mathematical Structures in Computer Science, 21(4):731-761, 2011. [doi]
@article{BertotGM11, title = {A formal study of Bernstein coefficients and polynomials}, author = {Yves Bertot and Frédérique Guilhot and Assia Mahboubi}, year = {2011}, doi = {10.1017/S0960129511000090}, url = {http://dx.doi.org/10.1017/S0960129511000090}, researchr = {https://researchr.org/publication/BertotGM11}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {21}, number = {4}, pages = {731-761}, }