Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari