Formalized Mathematics (original) (raw)
Have a personal or library account? Click to login
- Journals
- Formalized Mathematics
- Volume 22 (2014): Issue 4 (December 2014)
Volume 22 (2014): Issue 4 (Dec 2014)
Open Access
Journal detailsArticles & issues
Formalized Mathematics
All volumes and issues in this journal
Issue 2 (June 2014) - Special Issue: 25 years of the Mizar Mathematical Library
5 articles
Open Access
|Dec 2014
Torsion Z-module and Torsion-free Z-module
[Yuichi Futa](/search?commonSearchText="Futa, Yuichi"), [Hiroyuki Okazaki](/search?commonSearchText="Okazaki, Hiroyuki"), [Kazuhisa Nakasho](/search?commonSearchText="Nakasho, Kazuhisa") and [Yasunari Shidama](/search?commonSearchText="Shidama, Yasunari")
Open Access
|Dec 2014
The First Isomorphism Theorem and Other Properties of Rings
[Artur Korniłowicz](/search?commonSearchText="Korniłowicz, Artur") and [Christoph Schwarzweller](/search?commonSearchText="Schwarzweller, Christoph")
Open Access
|Dec 2014
Bidual Spaces and Reflexivity of Real Normed Spaces
[Keiko Narita](/search?commonSearchText="Narita, Keiko"), [Noboru Endou](/search?commonSearchText="Endou, Noboru") and [Yasunari Shidama](/search?commonSearchText="Shidama, Yasunari")
Open Access
|Dec 2014
Some Facts about Trigonometry and Euclidean Geometry
[Roland Coghetto](/search?commonSearchText="Coghetto, Roland")
Open Access
|Dec 2014
The Formal Construction of Fuzzy Numbers
[Adam Grabowski](/search?commonSearchText="Grabowski, 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: