Skip to main content
Have a personal or library account? Click to login

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

Open Access
Journal detailsArticles & issues
Formalized Mathematics
Previous issue
Next issue

All volumes and issues in this journal

Issue 4 (December 2020)
Issue 3 (October 2020)
Issue 2 (July 2020)
Issue 1 (April 2020)

11 articles
Open Access
|May 2020
Klein-Beltrami model. Part III
Roland Coghetto  
Open Access
|May 2020
Klein-Beltrami model. Part IV
Roland Coghetto  
Open Access
|May 2020
Miscellaneous Graph Preliminaries
Sebastian Koch  
Open Access
|May 2020
About Graph Complements
Sebastian Koch  
Open Access
|May 2020
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
Katsumi Wasaki  
Open Access
|May 2020
Rings of Fractions and Localization
Yasushige Watase  
Open Access
|May 2020
Dynamic Programming for the Subset Sum Problem
Hiroshi Fujiwara,  Hokuto Watari and  Hiroaki Yamamoto  
Open Access
|May 2020
Reconstruction of the One-Dimensional Lebesgue Measure
Noboru Endou  
Open Access
|May 2020
Developing Complementary Rough Inclusion Functions
Adam Grabowski  
Open Access
|May 2020
Elementary Number Theory Problems. Part I
Adam Naumowicz  
eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics
Journal RSS Feed