@article{Mu_oz_2012,
    doi = {10.1007/s10817-012-9256-3},
    url = {https://doi.org/10.1007%2Fs10817-012-9256-3},
    year = {2012},
    month = {jul},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {51},
    number = {2},
    pages = {151--196},
    author = {C{\'{e}}sar Mu{\~{n}}oz and Anthony Narkawicz},
    title = {Formalization of Bernstein Polynomials and Applications to Global Optimization},
    journal = {Journal of Automated Reasoning}
}

@article{Mu_oz_2012, doi = {10.1007/s10817-012-9256-3}, url = {https://doi.org/10.1007%2Fs10817-012-9256-3}, year = {2012}, month = {jul}, publisher = {Springer Science and Business Media {LLC}}, volume = {51}, number = {2}, pages = {151--196}, author = {C{\'{e}}sar Mu{\~{n}}oz and Anthony Narkawicz}, title = {Formalization of Bernstein Polynomials and Applications to Global Optimization}, journal = {Journal of Automated Reasoning} }