Journal: Formalized Mathematics

Volume 19, Issue 1

1 -- 9Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama. n-Dimensional Real Normed Linear Spaces
11 -- 15Xiquan Liang, Dailu Li. p-Groups
17 -- 22Keiichi Miyajima, Takahiro Kato, Yasunari Shidama. Riemann Integral of Functions from R into Real Normed Space
23 -- 26Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama. Normal Subgroup of Product of Groups
27 -- 34Piotr Rudnicki, Lorna Stewart. The Mycielskian of a Graph
35 -- 39Xiquan Liang, Ling Tang, Xichun Jiang. Difference and Difference Quotient. Part IV
41 -- 44Marco Riccardi. The Definition of Topological Manifolds
45 -- 49Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama. More on Continuous Functions on Normed Linear Spaces
51 -- 59Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama. Cartesian Products of Family of Real Linear Spaces
61 -- 64Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Formalization of Integral Linear Space