Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Bidual Spaces and Reflexivity of Real Normed Spaces
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Weak Convergence and Weak Convergence
Narita, Keiko, Shidama, Yasunari, Endou, Noboru
Isomorphisms of Direct Products of Finite Commutative Groups
Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Differential Equations on Functions from R into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Integrability of Multivariable Continuous Functions
Endou, Noboru, Shidama, Yasunari
Extended Euclidean Algorithm and CRT Algorithm
Okazaki, Hiroyuki, Aoki, Yosiki, Shidama, Yasunari
Riemann Integral of Functions from R into Rn
Miyajima, Keiichi, Shidama, Yasunari
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
Dual Lattice of ℤ-module Lattice
Futa, Yuichi, Shidama, Yasunari
Operations of Points on Elliptic Curve in Affine Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari