REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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

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/3549
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorYamazaki, Masahiko-
    dc.contributor.authorYamazaki, Hiroshi-
    dc.contributor.authorShidama, Yasunari-
    dc.contributor.authorWasaki, Katsumi-
    dc.date.accessioned2015-12-02T18:01:48Z-
    dc.date.available2015-12-02T18:01:48Z-
    dc.date.issued2009-
    dc.identifier.citationFormalized Mathematics, Volume 17, Issue 4, 2009, Pages 233-236-
    dc.identifier.issn1426-2630-
    dc.identifier.issn1898-9934-
    dc.identifier.urihttp://hdl.handle.net/11320/3549-
    dc.description.abstractIn this article, we defined complex curve and complex integral. Then we have proved the linearity for the complex integral. Furthermore, we have proved complex integral of complex curve's connection is the sum of each complex integral of individual complex curve.-
    dc.language.isoen-
    dc.publisherDe Gruyter Open-
    dc.titleComplex Integral-
    dc.typeArticle-
    dc.identifier.doi10.2478/v10037-009-0029-3-
    dc.description.AffiliationYamazaki Masahiko - Shinshu University, Nagano, Japan-
    dc.description.AffiliationYamazaki Hiroshi - Shinshu University, Nagano, Japan-
    dc.description.AffiliationShidama Yasunari - Shinshu University, Nagano, Japan-
    dc.description.AffiliationWasaki Katsumi - Shinshu University, Nagano, Japan-
    dc.description.referencesCzesław Byliński. Basic functions and operations on functions. Formalized Mathematics, 1(1):245-254, 1990.-
    dc.description.referencesCzesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.-
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.-
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.-
    dc.description.referencesCzesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.-
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.-
    dc.description.referencesNoboru Endou, Katsumi Wasaki, and Yasunari Shidama. Definition of integrability for partial functions from R to R and integrability for continuous functions. Formalized Mathematics, 9(2):281-284, 2001.-
    dc.description.referencesKrzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.-
    dc.description.referencesJarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273-275, 1990.-
    dc.description.referencesTakashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama. Property of complex functions. Formalized Mathematics, 9(1):179-184, 2001.-
    dc.description.referencesKonrad Raczkowski and Paweł Sadowski. Real function continuity. Formalized Mathematics, 1(4):787-791, 1990.-
    dc.description.referencesKonrad Raczkowski and Paweł Sadowski. Real function differentiability. Formalized Mathematics, 1(4):797-801, 1990.-
    dc.description.referencesKonrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.-
    dc.description.referencesYasunari Shidama and Artur Korniłowicz. Convergence and the limit of complex sequences. Series. Formalized Mathematics, 6(3):403-410, 1997.-
    dc.description.referencesAndrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics, 1(1):97-105, 1990.-
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.-
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.-
    Występuje w kolekcji(ach):Formalized Mathematics, 2009, Volume 17, Issue 4

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    v10037-009-0029-3.pdf239,16 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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