Formalized Mathematics (original) (raw)
Have a personal or library account? Click to login
- Journals
- Formalized Mathematics
- Volume 28 (2020): Issue 1 (April 2020)
Volume 28 (2020): Issue 1 (Apr 2020)
Open Access
Journal detailsArticles & issues
Formalized Mathematics
All volumes and issues in this journal
11 articles
Open Access
|May 2020
Klein-Beltrami model. Part III
[Roland Coghetto](/search?commonSearchText="Coghetto, Roland")
Open Access
|May 2020
[Roland Coghetto](/search?commonSearchText="Coghetto, Roland")
Open Access
|May 2020
Miscellaneous Graph Preliminaries
[Sebastian Koch](/search?commonSearchText="Koch, Sebastian")
Open Access
|May 2020
[Sebastian Koch](/search?commonSearchText="Koch, Sebastian")
Open Access
|May 2020
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
[Katsumi Wasaki](/search?commonSearchText="Wasaki, Katsumi")
Open Access
|May 2020
Rings of Fractions and Localization
[Yasushige Watase](/search?commonSearchText="Watase, Yasushige")
Open Access
|May 2020
Dynamic Programming for the Subset Sum Problem
[Hiroshi Fujiwara](/search?commonSearchText="Fujiwara, Hiroshi"), [Hokuto Watari](/search?commonSearchText="Watari, Hokuto") and [Hiroaki Yamamoto](/search?commonSearchText="Yamamoto, Hiroaki")
Open Access
|May 2020
Reconstruction of the One-Dimensional Lebesgue Measure
[Noboru Endou](/search?commonSearchText="Endou, Noboru")
Open Access
|May 2020
Developing Complementary Rough Inclusion Functions
[Adam Grabowski](/search?commonSearchText="Grabowski, Adam")
Open Access
|May 2020
Elementary Number Theory Problems. Part I
[Adam Naumowicz](/search?commonSearchText="Naumowicz, Adam")
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: