Extensions of Orderings
References
- 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.
- 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.
- 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.
- Artur Korniłowicz. Flexary connectives in Mizar. Computer Languages, Systems & Structures, 44:238–250, December 2015. doi:10.1016/j.cl.2015.07.002.
- Serge Lang. Algebra. PWN, Warszawa, 1984.
- Alexander Prestel. Lectures on Formally Real Fields. Springer-Verlag, 1984.
- Knut Radbruch. Algebra I. Lecture Notes, University of Kaiserslautern, Germany, 1991.
- Knut Radbruch. Geordnete Körper. Lecture Notes, University of Kaiserslautern, Germany, 1991.
- 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. Normal extensions. Formalized Mathematics, 31(1):121–130, 2023. doi:10.2478/forma-2023-0011.
- Christoph Schwarzweller. Field extensions and Kronecker’s construction. Formalized Mathematics, 27(3):229–235, 2019. doi:10.2478/forma-2019-0022.
- Christoph Schwarzweller. Ordered rings and fields. Formalized Mathematics, 25(1):63–72, 2017. doi:10.1515/forma-2017-0006.
- Christoph Schwarzweller and Agnieszka Rowińska-Schwarzweller. Quadratic extensions. Formalized Mathematics, 29(4):229–240, 2021. doi:10.2478/forma-2021-0021.
Language: English
Page range: 341 - 352
Accepted on: Dec 18, 2023
Published on: Dec 31, 2023
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2023 Christoph Schwarzweller, published by University of Białystok
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.