This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.
Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, 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. doi:10.1007/978-3-319-20615-8 17.Search in Google Scholar
Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.Search in Google Scholar
Adam Grabowski, Artur Korniłowicz, and Christoph Schwarzweller. On algebraic hierarchies in mathematical repository of Mizar. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, Proceedings of the 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), volume 8 of Annals of Computer Science and Information Systems, pages 363–371, 2016. doi:10.15439/2016F520.Search in Google Scholar
Ewa Grądzka. The algebra of polynomials. Formalized Mathematics, 9(3):637–643, 2001.Search in Google Scholar
Robert Milewski. The ring of polynomials. Formalized Mathematics, 9(2):339–346, 2001.Search in Google Scholar
Karol Pąk. Prime representing polynomial. Formalized Mathematics, 29(4):221–228, 2021. doi:10.2478/forma-2021-0020.Search in Google Scholar
Karol Pąk. Prime representing polynomial with 10 unknowns. Formalized Mathematics, 30(4):255–279, 2022. doi:10.2478/forma-2022-0021.Search in Google Scholar
Piotr Rudnicki, Christoph Schwarzweller, and Andrzej Trybulec. Commutative algebra in the Mizar system. Journal of Symbolic Computation, 32(1/2):143–169, 2001. doi:10.1006/jsco.2001.0456.Search in Google Scholar