References
- Marcin Acewicz and Karol Pąk. Basic Diophantine relations. Formalized Mathematics, 26(2):175–181, 2018. doi:10.2478/forma-2018-0015.
- 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.
- Edward J. Barbeau. Polynomials. Springer, 2003.
- William Fulton. Algebraic Curves. An Introduction to Algebraic Geometry. The Benjamin/Cummings Publishing Company, 1969.
- 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.
- Karol Pąk. Prime representing polynomial. Formalized Mathematics, 29(4):221–228, 2021. doi:10.2478/forma-2021-0020.
- 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.
- Christoph Schwarzweller. Existence and uniqueness of algebraic closures. Formalized Mathematics, 30(4):281–294, 2022. doi:10.2478/forma-2022-0022.
- Christoph Schwarzweller. Renamings and a condition-free formalization of Kronecker’s construction. Formalized Mathematics, 28(2):129–135, 2020. doi:10.2478/forma-2020-0012.
- Christoph Schwarzweller and Andrzej Trybulec. The evaluation of multivariate polynomials. Formalized Mathematics, 9(2):331–338, 2001.
- Henning Stichtenoth. Algebraic Function Fields and Codes. Springer, 2008.