Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/5557
Pełny rekord metadanych
Pole DC | Wartość | Język |
---|---|---|
dc.contributor.author | Schwarzweller, Christoph | - |
dc.contributor.author | Korniłowicz, Artur | - |
dc.contributor.author | Rowinska-Schwarzweller, Agnieszka | - |
dc.date.accessioned | 2017-06-02T11:53:01Z | - |
dc.date.available | 2017-06-02T11:53:01Z | - |
dc.date.issued | 2016 | - |
dc.identifier.citation | Formalized Mathematics, Volume 24, Issue 3, pp. 227-237 | pl |
dc.identifier.issn | 1426-2630 | pl |
dc.identifier.issn | 1898-9934 | pl |
dc.identifier.uri | http://hdl.handle.net/11320/5557 | - |
dc.description.abstract | In this article we extend the algebraic theory of polynomial rings, formalized in Mizar [1], based on [2], [3]. After introducing constant and monic polynomials we present the canonical embedding of R into R[X] and deal with both unit and irreducible elements. We also define polynomial GCDs and show that for fields F and irreducible polynomials p the field F[X]/<p> is isomorphic to the field of polynomials with degree smaller than the one of p. | - |
dc.language.iso | en | - |
dc.publisher | De Gruyter Open | - |
dc.subject | polynomial | - |
dc.subject | polynomial ring | - |
dc.subject | polynomial GCD | - |
dc.title | Some Algebraic Properties of Polynomial Rings | - |
dc.type | Article | - |
dc.identifier.doi | 10.1515/forma-2016-0019 | - |
dc.description.Affiliation | Schwarzweller Christoph - Institute of Computer Science University of Gdansk, Poland | - |
dc.description.Affiliation | Korniłowicz Artur - Institute of Informatics University of Białystok, Poland | - |
dc.description.Affiliation | Rowinska-Schwarzweller Agnieszka - Sopot Poland | - |
dc.description.references | Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261-279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. | - |
dc.description.references | H. Heuser. Lehrbuch der Analysis. B.G. Teubner Stuttgart, 1990. | - |
dc.description.references | Steven H. Weintraub. Galois Theory. Springer Verlag, 2 edition, 2009. | - |
Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2016, Volume 24, Issue 3 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2016-0019.pdf | 239,69 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL