The field of complex numbers

Cached

Download Links

by Anna Justyna Milewska
Venue:Journal of Formalized Mathematics
Citations:26 - 1 self

Documents Related by Co-Citation

1252 Functions and their basic properties – Czesław Byliński - 2003
250 Basis of Real Linear Space – Wojciech Trybulec - 1990
1276 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
1178 Properties of subsets – Zinaida Trybulec - 1989
132 Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces – Eugeniusz Kusak - 1990
86 The complex numbers – Czesław Byliński - 1990
627 The ordinal numbers – Grzegorz Bancerek - 1989
545 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
370 Subsets of real numbers – Andrzej Trybulec
1007 Functions from a set to a set – Czesław Byliński - 1989
982 Relations and their basic properties – Edmund Woronowicz - 1989
330 Binary operations – Czesław Byliński - 1989
721 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
262 Pigeon hole principle – Wojciech A. Trybulec - 1990
641 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
46 The Chinese Remainder Theorem – Andrzej Kondracki - 1997
89 Some properties of functions modul and signum – Jan Popiołek - 1989
16 The ring of polynomials – Robert Milewski
8 The Hahn Banach theorem in the vector space over the field of complex numbers – Anna Justyna Milewska