Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Tom 25 (2017): Zeszyt 3 (Październik 2017)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
8 Artykułów
Otwarty dostęp | 19 gru 2017
Isomorphism Theorem on Vector Spaces over a Ring
Yuichi Futa

Yuichi Futa

Tokyo University of TechnologyTokyo, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Futa, Yuichi
 oraz 
Yasunari Shidama

Yasunari Shidama

Shinshu UniversityNagano, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  
Otwarty dostęp | 19 gru 2017
F. Riesz Theorem
Keiko Narita

Keiko Narita

Aomori, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Narita, Keiko
, 
Kazuhisa Nakasho

Kazuhisa Nakasho

Akita Prefectural UniversityAkita, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Nakasho, Kazuhisa
 oraz 
Yasunari Shidama

Yasunari Shidama

Shinshu UniversityNagano, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  
Otwarty dostęp | 19 gru 2017
On Roots of Polynomials and Algebraically Closed Fields
Christoph Schwarzweller

Christoph Schwarzweller

Institute of Informatics, University of GdańskPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Schwarzweller, Christoph
  
Otwarty dostęp | 19 gru 2017
Pell’s Equation
Marcin Acewicz

Marcin Acewicz

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Acewicz, Marcin
 oraz 
Karol Pąk

Karol Pąk

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Pąk, Karol
  
Otwarty dostęp | 19 gru 2017
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ievgen Ivanov

Ievgen Ivanov

Taras Shevchenko National UniversityKyiv, Ukraine
Wyszukaj tego autora
Sciendo|Google Scholar
Ivanov, Ievgen
, 
Mykola Nikitchenko

Mykola Nikitchenko

Taras Shevchenko National UniversityKyiv, Ukraine
Wyszukaj tego autora
Sciendo|Google Scholar
Nikitchenko, Mykola
, 
Andrii Kryvolap

Andrii Kryvolap

Taras Shevchenko National UniversityKyiv, Ukraine
Wyszukaj tego autora
Sciendo|Google Scholar
Kryvolap, Andrii
 oraz 
Artur Korniłowicz

Artur Korniłowicz

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Korniłowicz, Artur
  
Otwarty dostęp | 19 gru 2017
Gauge Integral
Roland Coghetto

Roland Coghetto

La Louvière, Belgium
Wyszukaj tego autora
Sciendo|Google Scholar
Coghetto, Roland
  
Otwarty dostęp | 19 gru 2017
Integral of Non Positive Functions
Noboru Endou

Noboru Endou

National Institute of Technology, Gifu CollegeGifu, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Endou, Noboru
  
Otwarty dostęp | 19 gru 2017
Formal Introduction to Fuzzy Implications
Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Grabowski, Adam
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma