REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics

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



    • Formalized Mathematics, 2008, Volume 16, Issue 4 : [14]
    Strona glówna kolekcji Zobacz statystyki

    Contents

    1. Eigenvalues of a Linear Transformation
      Karol Pąk
    2. Jordan Matrix Decomposition
      Karol Pąk
    3. Fatou’s Lemma and the Lebesgue’s Convergence Theorem
      Noboru Endou, Keiko Narita, Yasunari Shidama
    4. Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform
      Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama
    5. Integral of Complex-Valued Measurable Function
      Keiko Narita, Noboru Endou, Yasunari Shidama
    6. Introduction to Matroids
      Grzegorz Bancerek, Yasunari Shidama
    7. Partial Differentiation of Real Binary Functions
      Bing Xie, Xiquan Liang, Hongwei Li
    8. Model Checking. Part III
      Kazuhisa Ishida, Yasunari Shidama
    9. Basic Properties of Circulant Matrices and Anti-Circular Matrices
      Xiaopeng Yue, Xiquan Liang
    10. On L¹ Space Formed by Real-Valued Partial Functions
      Yasushige Watase, Noboru Endou, Yasunari Shidama
    11. BCI-homomorphisms
      Yuzhong Ding, Fuguo Ge, Chenglong Wu
    12. Stability of the 4-2 Binary Addition Circuit Cells. Part I
      Katsumi Wasaki
    13. Several Differentiation Formulas of Special Functions. Part VII
      Fuguo Ge, Bing Xie
    14. Open Mapping Theorem
      Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama

    Przeglądaj
    Zapisz się do tej kolekcji aby otrzymywać codzienne informacje o nowych dodatkach. RSS Feed RSS Feed RSS Feed
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 14 z 14
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2008Open Mapping TheoremSakurai, Hideki; Kunimune, Hisayoshi; Shidama, Yasunari--
    2008Several Differentiation Formulas of Special Functions. Part VIIGe, Fuguo; Xie, Bing--
    2008Stability of the 4-2 Binary Addition Circuit Cells. Part IWasaki, Katsumi--
    2008BCI-homomorphismsDing, Yuzhong; Ge, Fuguo; Wu, Chenglong--
    2008On L¹ Space Formed by Real-Valued Partial FunctionsWatase, Yasushige; Endou, Noboru; Shidama, Yasunari--
    2008Basic Properties of Circulant Matrices and Anti-Circular MatricesYue, Xiaopeng; Liang, Xiquan--
    2008Model Checking. Part IIIIshida, Kazuhisa; Shidama, Yasunari--
    2008Partial Differentiation of Real Binary FunctionsXie, Bing; Liang, Xiquan; Li, Hongwei--
    2008Introduction to MatroidsBancerek, Grzegorz; Shidama, Yasunari--
    2008Integral of Complex-Valued Measurable FunctionNarita, Keiko; Endou, Noboru; Shidama, Yasunari--
    2008Extended Riemann Integral of Functions of Real Variable and One-sided Laplace TransformYamazaki, Masahiko; Yamazaki, Hiroshi; Shidama, Yasunari--
    2008Fatou’s Lemma and the Lebesgue’s Convergence TheoremEndou, Noboru; Narita, Keiko; Shidama, Yasunari--
    2008Jordan Matrix DecompositionPąk, Karol--
    2008Eigenvalues of a Linear TransformationPąk, Karol--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 14 z 14

    Odkryj