Classical Isoperimetric Theorem
Nakasho, Kazuhisa, Shidama, Yasunari
On Lp Space Formed by Real-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
The Differentiable Functions from R into Rn
Narita, Keiko, Korniłowicz, Artur, Shidama, Yasunari
Definition and Properties of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Yamazaki, Hiroshi, Okazaki, Hiroyuki, Shidama, Yasunari
Dual Lattice of ℤ-module Lattice
Futa, Yuichi, Shidama, Yasunari
Dual Spaces and Hahn-Banach Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
F. Riesz Theorem
Narita, Keiko, Nakasho, Kazuhisa, Shidama, Yasunari
Matrix of ℤ-module1
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Quotient Module of Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality
Nakasho, Kazuhisa, Shidama, Yasunari
Isomorphisms of Direct Products of Finite Commutative Groups
Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari