Journal: Formalized Mathematics

Volume 26, Issue 3

199 -- 208Rafal Ziobro. Arithmetic Operations on Short Finite Sequences
209 -- 222Sebastian Koch. Some Remarks about Product Spaces
223 -- 229Hiroyuki Okazaki. Binary Representation of Natural Numbers
231 -- 237Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama. Continuity of Bounded Linear Operators on Normed Linear Spaces