Extensions of Orderings

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

[2] Adam Grabowski, Artur Korniłowicz, and Christoph Schwarzweller. Equality in computer proof-assistants. In Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin, editor, Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, volume 5 of ACSIS-Annals of Computer Science and Information Systems, pages 45–54. IEEE, 2015. doi:10.15439/2015F229. Search in Google Scholar

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

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

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

[6] Alexander Prestel. Lectures on Formally Real Fields. Springer-Verlag, 1984. Search in Google Scholar

[7] Knut Radbruch. Algebra I. Lecture Notes, University of Kaiserslautern, Germany, 1991. Search in Google Scholar

[8] Knut Radbruch. Geordnete Körper. Lecture Notes, University of Kaiserslautern, Germany, 1991. Search in Google Scholar

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

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

[11] Christoph Schwarzweller. Field extensions and Kronecker’s construction. Formalized Mathematics, 27(3):229–235, 2019. doi:10.2478/forma-2019-0022. Search in Google Scholar

[12] Christoph Schwarzweller. Ordered rings and fields. Formalized Mathematics, 25(1):63–72, 2017. doi:10.1515/forma-2017-0006. Search in Google Scholar

[13] Christoph Schwarzweller and Agnieszka Rowińska-Schwarzweller. Quadratic extensions. Formalized Mathematics, 29(4):229–240, 2021. doi:10.2478/forma-2021-0021. Search in Google Scholar