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, 2022, Volume 30, Issue 4 : [4]
    Strona glówna kolekcji Zobacz statystyki

    Contents

    1. Prime Representing Polynomial with 10 Unknowns – Introduction. Part II
      Karol Pąk
    2. Prime Representing Polynomial with 10 Unknowns
      Karol Pąk
    3. Existence and Uniqueness of Algebraic Closures
      Christoph Schwarzweller
    4. Formalization of Orthogonal Decomposition for Hilbert Spaces
      Hiroyuki Okazaki

    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 4 z 4
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2022Formalization of Orthogonal Decomposition for Hilbert SpacesOkazaki, Hiroyuki--
    2022Existence and Uniqueness of Algebraic ClosuresSchwarzweller, Christoph--
    2022Prime Representing Polynomial with 10 UnknownsPąk, Karol--
    2022Prime Representing Polynomial with 10 Unknowns – Introduction. Part IIPąk, Karol--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 4 z 4

    Odkryj