1. Akbarpour, B., Paulson, L.C.: MetiTarski: an automatic theorem prover for real-valued special functions. J. Autom. Reason. 44(3), 175–205 (2010)
2. Alford, J.: Translation of Bernstein coefficients under an affine mapping of the unit interval. Technical Memorandum NASA/TM-2012-217557, NASA Langley Research Center (2012)
3. Archer, M., Di Vito, B., Muñoz, C. (eds.): Design and Application of Strategies/Tactics in Higher Order Logics. No. NASA/CP-2003-212448, NASA, Langley Research Center, Hampton VA 23681-2199, USA (2003)
4. Bertot, Y., Guilhot, F., Mahboubi, A.: A formal study of Bernstein coefficients and polynomials. Tech. Rep. INRIA-005030117, INRIA (2010)
5. Brisebarre, N., Joldes, M., Martin-Dorel, É., Mayero, M., Muller, J.M., Pasca, I., Rideau, L., Théry, L.: Rigorous polynomial approximation using Taylor models in Coq. In: Goodloe, A., Person, S. (eds.) Proceedings of the NASA Formal Methods Symposium (NFM 2012). Lecture Notes in Computer Science, vol. 7226, pp. 85–99. Springer, Norfolk, US (2012)