Differentiability of Polynomials over Reals
暂无分享,去创建一个
[1] Andrzej Trybulec,et al. Binary Operations Applied to Functions , 1990 .
[2] Andrzej Trybulec,et al. Miscellaneous Facts about Functions , 1996 .
[3] Construction of Finite Sequences over Ring and Left-, Right-, and Bi-Modules over a Ring 1 , 2007 .
[4] Konrad Raczkowski. Real Function Differentiability 1 , 1990 .
[5] Adam Naumowicz,et al. Four Decades of Mizar , 2015, Journal of Automated Reasoning.
[6] G. Bancerek. The Fundamental Properties of Natural Numbers , 1990 .
[7] Robert Milewski. Fundamental Theorem of Algebra1 , 2004 .
[8] J. Eve. The evaluation of polynomials , 1964 .
[9] Konrad Raczkowski. Integer and Rational Exponents , 1991 .
[10] Robert Milewski,et al. The Evaluation of Polynomials Robert Milewski University of Białystok , 2004 .
[11] John Reade. Fundamental theorem of algebra , 2003 .
[12] Konrad Raczkowski. Real Function Differentiability - Part II , 1991 .