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
  
Open Access | May 29, 2020
Klein-Beltrami model. Part IV
Roland Coghetto
Roland Coghetto
  
Open Access | May 29, 2020
Miscellaneous Graph Preliminaries
Sebastian Koch
Sebastian Koch
  
Open Access | May 29, 2020
About Graph Complements
Sebastian Koch
Sebastian Koch
  
Open Access | May 29, 2020
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
Katsumi Wasaki
Katsumi Wasaki
  
Open Access | May 29, 2020
Rings of Fractions and Localization
Yasushige Watase
Yasushige Watase
  
Open Access | May 29, 2020
Dynamic Programming for the Subset Sum Problem
Hiroshi Fujiwara
Hiroshi Fujiwara
, 
Hokuto Watari
Hokuto Watari
 and 
Hiroaki Yamamoto
Hiroaki Yamamoto
  
Open Access | May 29, 2020
Reconstruction of the One-Dimensional Lebesgue Measure
Noboru Endou
Noboru Endou
  
Open Access | May 29, 2020
Developing Complementary Rough Inclusion Functions
Adam Grabowski
Adam Grabowski
  
Open Access | May 29, 2020
Elementary Number Theory Problems. Part I
Adam Naumowicz
Adam Naumowicz
  
Open Access | May 29, 2020
On Fuzzy Negations Generated by Fuzzy Implications
Adam Grabowski
Adam Grabowski
  

Search

All Volumes and Issues in this Journal

eISSN:
1898-9934
ISSN:
1426-2630
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed