Have a personal or library account? Click to login
Some Special Matrices of Real Elements and Their Properties Cover

Some Special Matrices of Real Elements and Their Properties

Formalized Mathematics
Volume 14 (2006): Issue 4 (December 2006)
By: Xiquan Liang,  Fuguo Ge and  Xiaopeng Yue  
Open Access
|Jun 2008

References

  1. [1] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.
    Search in Google Scholar
  2. [2] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.
    Search in Google Scholar
  3. [3] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
    Search in Google Scholar
  4. [4] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.
    Search in Google Scholar
  5. [5] Katarzyna Jankowska. Matrices. Abelian group of matrices. Formalized Mathematics, 2(4):475-480, 1991.
    Search in Google Scholar
  6. [6] Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990.
    Search in Google Scholar
  7. [7] Yatsuka Nakamura, Nobuyuki Tamura, and Wenpai Chang. A theory of matrices of real elements. Formalized Mathematics, 14(1):21-28, 2006.10.2478/v10037-006-0004-1
    Search in Google Scholar
  8. [8] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.
    Search in Google Scholar
  9. [9] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.
    Search in Google Scholar
  10. [10] Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.
    Search in Google Scholar
  11. [11] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.
    Search in Google Scholar
  12. [12] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-006-0016-x | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 129 - 134
Published on: Jun 13, 2008
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

© 2008 Xiquan Liang, Fuguo Ge, Xiaopeng Yue, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 14 (2006): Issue 4 (December 2006)