The field of complex numbers

Cached

Download Links

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

Active Bibliography

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
4 Primitive roots of unity and cyclotomic polynomials – Broderic Arneson, Piotr Rudnicki
13 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
17 Associated Matrix of Linear Map – Robert Milewski - 2002
6 Real linear space of real sequences – Noboru Endou, Yasunari Shidama
30 Linear combinations in real linear space – Wojciech A. Trybulec - 1990
4 Hahn-Banach Theorem – Bogdan Nowak, Andrzej Trybulec - 1993
250 Basis of Real Linear Space – Wojciech Trybulec - 1990
8 The Ring of Integers, Euclidean Rings and Modulo Integers – Christoph Schwarzweller - 1999
Sequences – Yasushige Watase, Noboru Endou, Yasunari Shidama
6 The Binomial Theorem for Algebraic Structures – Christoph Schwarzweller - 1999
20 Introduction to Banach and Hilbert spaces — part I – Jan Popiołek - 1991
14 Real normed space – Jan Popiołek - 1991