External Links

    Journal: Formalized Mathematics

    Volume 23, Issue 3

    161 -- 176Taneli Huuskonen. Polish Notation
    177 -- 187Taneli Huuskonen. Grzegorczyk's Logics. Part I
    189 -- 203Roland Coghetto. Convergent Filter Bases
    205 -- 213Hiroyuki Okazaki, Yuichi Futa. Polynomially Bounded Sequences and Polynomial Sequences
    215 -- 229Rafal Ziobro. Fermat's Little Theorem via Divisibility of Newton's Binomial
    231 -- 241Keiko Narita, Yasunari Shidama, Noboru Endou. Weak Convergence and Weak Convergence
    243 -- 252Keiko Narita, Noboru Endou, Yasunari Shidama. The Orthogonal Projection and the Riesz Representation Theorem
    253 -- 277Noboru Endou. Extended Real-Valued Double Sequence and Its Convergence
    runs on