Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/5566
Pełny rekord metadanych
Pole DC | Wartość | Język |
---|---|---|
dc.contributor.author | Korniłowicz, Artur | - |
dc.date.accessioned | 2017-06-05T08:32:50Z | - |
dc.date.available | 2017-06-05T08:32:50Z | - |
dc.date.issued | 2017 | - |
dc.identifier.citation | Formalized Mathematics, Volume 25, Issue 1, pp. 31-38 | pl |
dc.identifier.issn | 1426-2630 | pl |
dc.identifier.issn | 1898-9934 | pl |
dc.identifier.uri | http://hdl.handle.net/11320/5566 | - |
dc.description.abstract | In this article, we formalize in the Mizar system [3] the notion of the derivative of polynomials over the field of real numbers [4]. To define it, we use the derivative of functions between reals and reals [9]. | - |
dc.language.iso | en | - |
dc.publisher | De Gruyter Open | - |
dc.subject | differentiation of real polynomials | - |
dc.subject | derivative of real polynomials | - |
dc.title | Differentiability of Polynomials over Reals | - |
dc.type | Article | - |
dc.identifier.doi | 10.1515/forma-2017-0002 | - |
dc.description.Affiliation | Institute of Informatics, University of, Białystok, Poland | - |
dc.description.references | Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990. | - |
dc.description.references | Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions. Formalized Mathematics, 5(4):485-492, 1996. | - |
dc.description.references | 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. | - |
dc.description.references | Kazimierz Kuratowski. Rachunek rózniczkowy i całkowy - funkcje jednej zmiennej. Biblioteka Matematyczna. PWN - Warszawa (in polish), 1964. | - |
dc.description.references | Robert Milewski. The evaluation of polynomials. Formalized Mathematics, 9(2):391-395, 2001. | - |
dc.description.references | Robert Milewski. Fundamental theorem of algebra. Formalized Mathematics, 9(3):461-470, 2001. | - |
dc.description.references | 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. | - |
dc.description.references | Konrad Raczkowski. Integer and rational exponents. Formalized Mathematics, 2(1):125-130, 1991. | - |
dc.description.references | Konrad Raczkowski and Paweł Sadowski. Real function differentiability. Formalized Mathematics, 1(4):797-801, 1990. | - |
dc.description.references | Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329-334, 1990. | - |
dc.description.references | Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990. | - |
Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2017, Volume 25, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2017-0002.pdf | 242,67 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL