REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2005, Volume 13, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21432
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorChang, Wenpai-
    dc.contributor.authorYamazaki, Hiroshi-
    dc.contributor.authorNakamura, Yatsuka-
    dc.date.accessioned2026-11-05T08:35:12Z-
    dc.date.available2026-11-05T08:35:12Z-
    dc.date.issued2005-
    dc.identifier.citationFormalized Mathematics, Volume 13, Issue 1, Pages 157-162pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21432-
    dc.description.abstractA concept of “Matrix of Complex” is defined here. Addition, subtraction, scalar multiplication and product are introduced using correspondent definitions of “Matrix of Field”. Many equations for such operations consist of a case of “Matrix of Field”. A calculation method of product of matrices is shown using a finite sequence of Complex in the last theorem.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleA Theory of Matrices of Complex Elementspl
    dc.typeArticlepl
    dc.rights.holder© 2005 University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.description.AffiliationWenpai Chang - Shinshu University, Naganopl
    dc.description.AffiliationHiroshi Yamazaki - Shinshu University, Naganopl
    dc.description.AffiliationYatsuka Nakamura - Shinshu University, Naganopl
    dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics,1(1):91–96, 1990.pl
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics,1(1):107–114,1990.pl
    dc.description.referencesCzesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507–513,1990.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.pl
    dc.description.referencesLibrary Committee. Binary operations on numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesKatarzyna Jankowska. Matrices. Abelian group of matrices. Formalized Mathematics, 2(4):475–480, 1991.pl
    dc.description.referencesEugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335–342, 1990.pl
    dc.description.referencesAnna Justyna Milewska. The field of complex numbers. Formalized Mathematics, 9(2):265–269, 2001.pl
    dc.description.referencesYatsuka Nakamura and Hiroshi Yamazaki. Calculation of matrices of field elements. Part I. Formalized Mathematics, 11(4):385–391, 2003.pl
    dc.description.referencesAndrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821–827, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.pl
    dc.description.referencesKatarzyna Zawadzka. The product and the determinant of matrices with entries in a field. Formalized Mathematics, 4(1):1–8, 1993.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume13pl
    dc.description.issue1pl
    dc.description.firstpage157pl
    dc.description.lastpage162pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2005, Volume 13, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    A_Theory_of_Matrices_of_Complex_Elements.pdf89,44 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons