Have a personal or library account? Click to login
Convex Sets and Convex Combinations on Complex Linear Spaces Cover

Convex Sets and Convex Combinations on Complex Linear Spaces

Formalized Mathematics
Volume 16 (2008): Issue 2 (June 2008)
By: Hidenori Matsuzaki,  Noboru Endou and  Yasunari Shidama  
Open Access
|Mar 2009

References

  1. [1] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
    Search in Google Scholar
  3. [3] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.
    Search in Google Scholar
  4. [4] Czesław Byliński. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.
    Search in Google Scholar
  5. [5] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.
    Search in Google Scholar
  6. [6] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
    Search in Google Scholar
  7. [7] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
    Search in Google Scholar
  8. [8] Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.
    Search in Google Scholar
  9. [9] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
    Search in Google Scholar
  10. [10] Czesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661-668, 1990.
    Search in Google Scholar
  11. [11] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.
    Search in Google Scholar
  12. [12] Noboru Endou. Complex linear space and complex normed space. Formalized Mathematics, 12(2):93-102, 2004.
    Search in Google Scholar
  13. [13] Noboru Endou. Complex linear space of complex sequences. Formalized Mathematics, 12(2):109-117, 2004.
    Search in Google Scholar
  14. [14] Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama. Dimension of real unitary space. Formalized Mathematics, 11(1):23-28, 2003.
    Search in Google Scholar
  15. [15] Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama. Topology of real unitary space. Formalized Mathematics, 11(1):33-38, 2003.
    Search in Google Scholar
  16. [16] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.
    Search in Google Scholar
  17. [17] Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.
    Search in Google Scholar
  18. [18] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990.
    Search in Google Scholar
  19. [19] Andrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25-34, 1990.
    Search in Google Scholar
  20. [20] Andrzej Trybulec. Function domains and Frænkel operator. Formalized Mathematics, 1(3):495-500, 1990.
    Search in Google Scholar
  21. [21] Wojciech A. Trybulec. Linear combinations in real linear space. Formalized Mathematics, 1(3):581-588, 1990.
    Search in Google Scholar
  22. [22] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.
    Search in Google Scholar
  23. [23] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  24. [24] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
    Search in Google Scholar
  25. [25] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-008-0018-y | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 123 - 133
Published on: Mar 20, 2009
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2009 Hidenori Matsuzaki, Noboru Endou, Yasunari Shidama, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 16 (2008): Issue 2 (June 2008)