Differentiability of Polynomials over Reals
References
- [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.
- [2] Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions. Formalized Mathematics, 5(4):485-492, 1996.
- [3] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191-198, 2015. doi: 10.1007/s10817-015-9345-1.
- [4] Kazimierz Kuratowski. Rachunek rózniczkowy i całkowy - funkcje jednej zmiennej. Biblioteka Matematyczna. PWN - Warszawa (in polish), 1964.
- [5] Robert Milewski. The evaluation of polynomials. Formalized Mathematics, 9(2):391-395, 2001.
- [6] Robert Milewski. Fundamental theorem of algebra. Formalized Mathematics, 9(3):461-470, 2001.
- [7] Michał Muzalewski and Lesław W. Szczerba. Construction of finite sequences over ring and left-, right-, and bi-modules over a ring. Formalized Mathematics, 2(1):97-104, 1991.
- [8] Konrad Raczkowski. Integer and rational exponents. Formalized Mathematics, 2(1):125-130, 1991.
- [9] Konrad Raczkowski and Paweł Sadowski. Real function differentiability. Formalized Mathematics, 1(4):797-801, 1990.
- [10] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329-334, 1990.
- [11] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.
Language: English
Page range: 31 - 37
Submitted on: Feb 23, 2017
Published on: May 11, 2017
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2017 Artur Korniłowicz, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.