Journal of Formalized Mathematics
Volume 12, 2000
University of Bialystok
Copyright (c) 2000
Association of Mizar Users
The Field of Complex Numbers

Anna Justyna Milewska

University of Bialystok
Summary.

This article contains the definition and many facts about
the field of complex numbers.
The terminology and notation used in this paper have been
introduced in the following articles
[9]
[12]
[1]
[10]
[5]
[6]
[8]
[11]
[7]
[4]
[3]
[2]
Contents (PDF format)
Bibliography
 [1]
Grzegorz Bancerek.
The ordinal numbers.
Journal of Formalized Mathematics,
1, 1989.
 [2]
Czeslaw Bylinski.
Functions and their basic properties.
Journal of Formalized Mathematics,
1, 1989.
 [3]
Czeslaw Bylinski.
The complex numbers.
Journal of Formalized Mathematics,
2, 1990.
 [4]
Czeslaw Bylinski and Andrzej Trybulec.
Complex spaces.
Journal of Formalized Mathematics,
2, 1990.
 [5]
Library Committee.
Introduction to arithmetic.
Journal of Formalized Mathematics,
Addenda, 2003.
 [6]
Krzysztof Hryniewiecki.
Basic properties of real numbers.
Journal of Formalized Mathematics,
1, 1989.
 [7]
Eugeniusz Kusak, Wojciech Leonczuk, and Michal Muzalewski.
Abelian groups, fields and vector spaces.
Journal of Formalized Mathematics,
1, 1989.
 [8]
Jan Popiolek.
Some properties of functions modul and signum.
Journal of Formalized Mathematics,
1, 1989.
 [9]
Andrzej Trybulec.
Tarski Grothendieck set theory.
Journal of Formalized Mathematics,
Axiomatics, 1989.
 [10]
Andrzej Trybulec.
Subsets of real numbers.
Journal of Formalized Mathematics,
Addenda, 2003.
 [11]
Wojciech A. Trybulec.
Vectors in real linear space.
Journal of Formalized Mathematics,
1, 1989.
 [12]
Zinaida Trybulec.
Properties of subsets.
Journal of Formalized Mathematics,
1, 1989.
Received January 18, 2000
[
Download a postscript version,
MML identifier index,
Mizar home page]