Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Riemann Integral of Functions from R into n-dimensional Real Normed Space
Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari
Embedded Lattice and Properties of Gram Matrix
Futa, Yuichi, Shidama, Yasunari