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, 2009, Volume 17, Issue 2 : [18]
    Strona glówna kolekcji Zobacz statystyki

    Spis treści/Content

    1. Li, Bo / Liang, Xiquan / Wang, Pan / Zhuang, Yanping
      Some Operations on Quaternion Numbers
    2. Pacharapokin, Chanapat / Yamazaki, Hiroshi / Shidama, Yasunari / Nakamura, Yatsuka
      Complex Function Differentiability
    3. Doll, Agnes
      Kolmogorov's Zero-One Law
    4. Xie, Bing / Liang, Xiquan / Shen, Xiuzhuan
      Second-Order Partial Differentiation of Real Binary Functions
    5. Narita, Keiko / Endou, Noboru / Shidama, Yasunari
      The Measurability of Complex-Valued Functional Sequences
    6. Korniłowicz, Artur
      Collective Operations on Number-Membered Sets
    7. Riccardi, Marco
      Solution of Cubic and Quartic Equations
    8. Riccardi, Marco
      The Perfect Number Theorem and Wilson's Theorem
    9. Okazaki, Hiroyuki / Shidama, Yasunari
      Probability on Finite Set and Real-Valued Random Variables
    10. Narita, Keiko / Endou, Noboru / Shidama, Yasunari
      Lebesgue's Convergence Theorem of Complex-Valued Function
    11. Yamazaki, Hiroshi / Shidama, Yasunari / Nakamura, Yatsuka / Pacharapokin, Chanapat
      The Cauchy-Riemann Differential Equations of Complex Functions
    12. Arai, Kenichi / Okazaki, Hiroyuki
      Properties of Primes and Multiplicative Group of a Field
    13. Endou, Noboru / Okazaki, Hiroyuki / Shidama, Yasunari
      Hopf Extension Theorem of Measure
    14. Trybulec, Michał
      Labelled State Transition Systems
    15. Okazaki, Hiroyuki
      Probability on Finite and Discrete Set and Uniform Distribution
    16. Miyajima, Keiichi / Shidama, Yasunari
      Riemann Integral of Functions from R into Rn
    17. Li, Bo / Men, Yanhong
      Basic Properties of Even and Odd Functions
    18. Trybulec, Michał
      Equivalence of Deterministic and Nondeterministic Epsilon Automata

    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 18 z 18
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2009Labelled State Transition SystemsTrybulec, Michał--
    2009Basic Properties of Even and Odd FunctionsLi, Bo; Men, Yanhong--
    2009Probability on Finite and Discrete Set and Uniform DistributionOkazaki, Hiroyuki--
    2009Hopf Extension Theorem of MeasureEndou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari--
    2009Equivalence of Deterministic and Nondeterministic Epsilon AutomataTrybulec, Michał--
    2009Riemann Integral of Functions from R into RⁿMiyajima, Keiichi; Shidama, Yasunari--
    2009Lebesgue's Convergence Theorem of Complex-Valued FunctionNarita, Keiko; Endou, Noboru; Shidama, Yasunari--
    2009The Perfect Number Theorem and Wilson's TheoremRiccardi, Marco--
    2009The Cauchy-Riemann Differential Equations of Complex FunctionsYamazaki, Hiroshi; Shidama, Yasunari; Nakamura, Yatsuka; Pacharapokin, Chanapat--
    2009Probability on Finite Set and Real-Valued Random VariablesOkazaki, Hiroyuki; Shidama, Yasunari--
    2009Properties of Primes and Multiplicative Group of a FieldArai, Kenichi; Okazaki, Hiroyuki--
    2009Second-Order Partial Differentiation of Real Binary FunctionsXie, Bing; Liang, Xiquan; Shen, Xiuzhuan--
    2009Complex Function DifferentiabilityPacharapokin, Chanapat; Yamazaki, Hiroshi; Shidama, Yasunari; Nakamura, Yatsuka--
    2009The Measurability of Complex-Valued Functional SequencesNarita, Keiko; Endou, Noboru; Shidama, Yasunari--
    2009Solution of Cubic and Quartic EquationsRiccardi, Marco--
    2009Kolmogorov's Zero-One LawDoll, Agnes--
    2009Collective Operations on Number-Membered SetsKorniłowicz, Artur--
    2009Some Operations on Quaternion NumbersLi, Bo; Liang, Xiquan; Wang, Pan; Zhuang, Yanping--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 18 z 18

    Odkryj