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
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam