Simple Extensions

[1] Andreas Gathmann. Einführung in die Algebra. Lecture Notes, University of Kaiserslautern, Germany, 2011. Search in Google Scholar

[2] Adam Grabowski and Christoph Schwarzweller. Translating mathematical vernacular into knowledge repositories. In Michael Kohlhase, editor, Mathematical Knowledge Management, volume 3863 of Lecture Notes in Computer Science, pages 49–64. Springer, 2006. doi:10.1007/11618027 4. 4th International Conference on Mathematical Knowledge Management, Bremen, Germany, MKM 2005, July 15–17, 2005, Revised Selected Papers. Search in Google Scholar

[3] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Mizar in a nutshell. Journal of Formalized Reasoning, 3(2):153–245, 2010. Search in Google Scholar

[4] 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

[5] Artur Korniłowicz. Flexary connectives in Mizar. Computer Languages, Systems & Structures, 44:238–250, December 2015. doi:10.1016/j.cl.2015.07.002. Search in Google Scholar

[6] Serge Lang. Algebra. PWN, Warszawa, 1984. Search in Google Scholar

[7] Serge Lang. Algebra. Springer Verlag, 2002 (Revised Third Edition). Search in Google Scholar

[8] Heinz Lüneburg. Gruppen, Ringe, Körper: Die grundlegenden Strukturen der Algebra. Oldenbourg Verlag, 1999. Search in Google Scholar

[9] Christoph Schwarzweller. Normal extensions. Formalized Mathematics, 31(1):121–130, 2023. doi:10.2478/forma-2023-0011. Search in Google Scholar

[10] 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. Search in Google Scholar

[11] Christoph Schwarzweller. Ring and field adjunctions, algebraic elements and minimal polynomials. Formalized Mathematics, 28(3):251–261, 2020. doi:10.2478/forma-2020-0022. Search in Google Scholar

[12] Christoph Schwarzweller. Splitting fields. Formalized Mathematics, 29(3):129–139, 2021. doi:10.2478/forma-2021-0013. Search in Google Scholar

[13] Christoph Schwarzweller. On roots of polynomials and algebraically closed fields. Formalized Mathematics, 25(3):185–195, 2017. doi:10.1515/forma-2017-0018. Search in Google Scholar

[14] Christoph Schwarzweller, Artur Korniłowicz, and Agnieszka Rowińska-Schwarzweller. Some algebraic properties of polynomial rings. Formalized Mathematics, 24(3):227–237, 2016. doi:10.1515/forma-2016-0019. Search in Google Scholar

[15] Yasushige Watase. Derivation of commutative rings and the Leibniz formula for power of derivation. Formalized Mathematics, 29(1):1–8, 2021. doi:10.2478/forma-2021-0001. Search in Google Scholar