Ordered Rings and Fields
References
- [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.
- [2] 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.
- [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.
- [4] Nathan Jacobson. Lecture Notes in Abstract Algebra, III. Theory of Fields and Galois Theory. Springer-Verlag, 1964.
- [5] Manfred Knebusch and Claus Scheiderer. Einf¨uhrung in die reelle Algebra. Vieweg-Verlag, 1989.
- [6] Andrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5): 841-845, 1990.
- [7] Eugeniusz Kusak, Wojciech Leonczuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990.
- [8] Alexander Prestel. Lectures on Formally Real Fields. Springer-Verlag, 1984.
- [9] Knut Radbruch. Geordnete K¨orper. Lecture Notes, University of Kaiserslautern, Germany, 1991.
- [10] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.
Language: English
Page range: 63 - 72
Submitted on: Mar 17, 2017
Published on: May 11, 2017
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2017 Christoph Schwarzweller, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.