Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 28 (2020): Issue 1 (April 2020)

Download Cover
Previous Issue
Next Issue
11 Articles
Open Access | May 29, 2020
Klein-Beltrami model. Part III
Roland Coghetto

Roland Coghetto

La Louvière, Belgium
Search for this author on
Sciendo|Google Scholar
Coghetto, Roland
  
Open Access | May 29, 2020
Klein-Beltrami model. Part IV
Roland Coghetto

Roland Coghetto

La Louvière, Belgium
Search for this author on
Sciendo|Google Scholar
Coghetto, Roland
  
Open Access | May 29, 2020
Miscellaneous Graph Preliminaries
Sebastian Koch

Sebastian Koch

Johannes Gutenberg University MainzGermany
Search for this author on
Sciendo|Google Scholar
Koch, Sebastian
  
Open Access | May 29, 2020
About Graph Complements
Sebastian Koch

Sebastian Koch

Johannes Gutenberg University MainzGermany
Search for this author on
Sciendo|Google Scholar
Koch, Sebastian
  
Open Access | May 29, 2020
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
Katsumi Wasaki

Katsumi Wasaki

Shinshu University NaganoJapan
Search for this author on
Sciendo|Google Scholar
Wasaki, Katsumi
  
Open Access | May 29, 2020
Rings of Fractions and Localization
Yasushige Watase

Yasushige Watase

Tokyo, Japan
Search for this author on
Sciendo|Google Scholar
Watase, Yasushige
  
Open Access | May 29, 2020
Dynamic Programming for the Subset Sum Problem
Hiroshi Fujiwara

Hiroshi Fujiwara

Shinshu University NaganoJapan
Search for this author on
Sciendo|Google Scholar
Fujiwara, Hiroshi
, 
Hokuto Watari

Hokuto Watari

Nagano Electronics Industrial Co., LtdChikuma, Japan
Search for this author on
Sciendo|Google Scholar
Watari, Hokuto
 and 
Hiroaki Yamamoto

Hiroaki Yamamoto

Shinshu University NaganoJapan
Search for this author on
Sciendo|Google Scholar
Yamamoto, Hiroaki
  
Open Access | May 29, 2020
Reconstruction of the One-Dimensional Lebesgue Measure
Noboru Endou

Noboru Endou

National Institute of TechnologyGifu, Japan
Search for this author on
Sciendo|Google Scholar
Endou, Noboru
  
Open Access | May 29, 2020
Developing Complementary Rough Inclusion Functions
Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Grabowski, Adam
  
Open Access | May 29, 2020
Elementary Number Theory Problems. Part I
Adam Naumowicz

Adam Naumowicz

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Naumowicz, Adam
  
Open Access | May 29, 2020
On Fuzzy Negations Generated by Fuzzy Implications
Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Grabowski, Adam
  

Search

All Volumes and Issues in this Journal

Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Computer Sciences, Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed