External Links

    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
    runs on