Free ℤ-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Polynomially Bounded Sequences and Polynomial Sequences
Okazaki, Hiroyuki, Futa, Yuichi
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Continuity of Bounded Linear Operators on Normed Linear Spaces
Nakasho, Kazuhisa, Futa, Yuichi, Shidama, Yasunari
Embedded Lattice and Properties of Gram Matrix
Futa, Yuichi, Shidama, Yasunari
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces
Nakasho, Kazuhisa, Futa, Yuichi
Matrix of ℤ-module1
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
Okazaki, Hiroyuki, Nagao, Koh-ichi, Futa, Yuichi
Implicit Function Theorem. Part I
Nakasho, Kazuhisa, Futa, Yuichi, Shidama, Yasunari
Isomorphism Theorem on Vector Spaces over a Ring
Futa, Yuichi, Shidama, Yasunari
Dual Lattice of ℤ-module Lattice
Futa, Yuichi, Shidama, Yasunari
Constructing Binary Huffman Tree
Okazaki, Hiroyuki, Futa, Yuichi, Shidama, Yasunari