[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 22 (2014): Issue 4 (December 2014)

Download Cover
Previous Issue
Next Issue
5 Articles
Open Access | Dec 31, 2014
Torsion Z-module and Torsion-free Z-module
Yuichi Futa
Futa, Yuichi
, 
Hiroyuki Okazaki
Okazaki, Hiroyuki
, 
Kazuhisa Nakasho
Nakasho, Kazuhisa
 and 
Yasunari Shidama
Shidama, Yasunari
  
Open Access | Dec 31, 2014
The First Isomorphism Theorem and Other Properties of Rings
Artur Korniłowicz
Korniłowicz, Artur
 and 
Christoph Schwarzweller
Schwarzweller, Christoph
  
Open Access | Dec 31, 2014
Bidual Spaces and Reflexivity of Real Normed Spaces
Keiko Narita
Narita, Keiko
, 
Noboru Endou
Endou, Noboru
 and 
Yasunari Shidama
Shidama, Yasunari
  
Open Access | Dec 31, 2014
Some Facts about Trigonometry and Euclidean Geometry
Roland Coghetto
Coghetto, Roland
  
Open Access | Dec 31, 2014
The Formal Construction of Fuzzy Numbers
Adam Grabowski
Grabowski, Adam
  

Search

All Volumes and Issues in this Journal

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