The field of complex numbers

by Anna Justyna Milewska

Venue:	Journal of Formalized Mathematics
Citations:	24 - 1 self

8	The Hahn Banach theorem in the vector space over the field of complex numbers – Anna Justyna Milewska
1	Hermitan functionals. Canonical construction of scalar product in quotient vector space – Jarosław Kotowicz
3	Primitive roots of unity and cyclotomic polynomials – Broderic Arneson, Piotr Rudnicki
10	Banach space of bounded linear operators – Yasunari Shidama - 2003
	Journal Of Formalized Mathematics – Volume Released Published, Jarosław Kotowicz
	Bounded Domains and Unbounded Domains – Yatsuka Nakamura, Andrzej Trybulec, Czeslaw Bylinski - 2003
	1. THE BANACH SPACE OF BOUNDED REAL SEQUENCES – unknown authors
5	Definition of convex function and Jensen’s inequality – Grigory E. Ivanov
3	Trigonometric form of complex numbers – Robert Milewski
16	Associated Matrix of Linear Map – Robert Milewski - 2002
6	Real linear space of real sequences – Noboru Endou, Yasunari Shidama
28	Linear combinations in real linear space – Wojciech A. Trybulec - 1990
4	Hahn-Banach Theorem – Bogdan Nowak, Andrzej Trybulec - 1993
244	Basis of Real Linear Space – Wojciech Trybulec - 1990
	Sequences – Yasushige Watase, Noboru Endou, Yasunari Shidama
8	The Ring of Integers, Euclidean Rings and Modulo Integers – Christoph Schwarzweller - 1999
6	The Binomial Theorem for Algebraic Structures – Christoph Schwarzweller - 1999
12	Real normed space – Jan Popiołek - 1991
20	Introduction to Banach and Hilbert spaces — part I – Jan Popiołek - 1991