Algebra of Polynomially Bounded Sequences and Negligible Functions
Okazaki, Hiroyuki
Polynomially Bounded Sequences and Polynomial Sequences
Okazaki, Hiroyuki, Futa, Yuichi
On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
Okazaki, Hiroyuki
Properties of Primes and Multiplicative Group of a Field
Arai, Kenichi, Okazaki, Hiroyuki
Hopf Extension Theorem of Measure
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Difference of Function on Vector Space over F
Arai, Kenichi, Wakabayashi, Ken, Okazaki, Hiroyuki
Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers
Yamazaki, Hiroshi, Endou, Noboru, Shidama, Yasunari, Okazaki, Hiroyuki