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

1257 Functions and their basic properties – Czesław Byliński - 2003
1187 Properties of subsets – Zinaida Trybulec - 1989
251 Basis of Real Linear Space – Wojciech Trybulec - 1990
1278 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
92 The complex numbers – Czesław Byliński - 1990
132 Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces – Eugeniusz Kusak - 1990
1012 Functions from a set to a set – Czesław Byliński - 1989
988 Relations and their basic properties – Edmund Woronowicz - 1989
634 The ordinal numbers – Grzegorz Bancerek - 1989
551 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
725 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
370 Subsets of real numbers – Andrzej Trybulec
331 Binary operations – Czesław Byliński - 1989
262 Pigeon hole principle – Wojciech A. Trybulec - 1990
47 The Chinese Remainder Theorem – Andrzej Kondracki - 1997
642 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
295 Finite Sequences and Tuples of Elements of a Non-empty Sets – Czeslaw Bylinski - 1990
121 The sum and product of finite sequences of real numbers – Czesław Byliński - 1990
16 The ring of polynomials – Robert Milewski