論文 - 中正　和久

σ-ring and σ-algebra of Sets

Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  23 ( 1 ) 51 - 57   2015年05月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2015-0004

Permalink DOI

Torsion Z-module and Torsion-Free Z-module

Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  22 ( 4 ) 277 - 289   2014年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2014-0028

Permalink DOI

Formalization of Fundamental Theorem of Finite Abelian Groups in Mizar

Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama

6th Podlasie Conference on Mathematics (6PCM)    23 - 34   2014年07月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module

Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formalized Mathematics  22 ( 3 ) 189 - 198   2014年03月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2014-0021

Permalink DOI

Topological Properties of Real Normed Space

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formalized Mathematics  22 ( 3 ) 209 - 223   2014年03月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2014-0024

Permalink DOI

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  21 ( 3 ) 207 - 211   2013年10月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2013-0022

Permalink DOI