| 1 | -- | 8 | Artur Kornilowicz, Rafal Ziobro. Elementary Number Theory Problems. Part XIII |
| 9 | -- | 31 | Noboru Endou, Yasunari Shidama. Integral of Continuous Three Variable Functions |
| 33 | -- | 46 | Christoph Schwarzweller. Separable Polynomials and Separable Extensions |
| 47 | -- | 63 | Artur Kornilowicz. Elementary Number Theory Problems. Part XIV - Diophantine Equations |
| 65 | -- | 75 | Karol Pak. Inverse Element for Surreal Number |
| 77 | -- | 92 | Roland Coghetto. U-Small and U-Locally Small Categories |
| 93 | -- | 110 | Karol Pak, Artur Kornilowicz. Elementary Number Theory Problems. Part XV - Diophantine Equations |
| 111 | -- | 120 | Yasushige Watase. e. Part I |
| 121 | -- | 131 | Yasushige Watase. e. Part II |
| 133 | -- | 139 | Hiroyuki Okazaki. Formalization of Orthogonal Complements of Normed Spaces |
| 141 | -- | 147 | Keiichi Miyajima, Hiroshi Yamazaki. Ascoli-Arzelà Theorem (Metric Space Version) |
| 149 | -- | 163 | Noboru Endou, Yasunari Shidama. Universality of Measure Space |
| 165 | -- | 172 | Kazuhisa Nakasho, Yasunari Shidama. Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces |
| 173 | -- | 186 | Sebastian Koch. About Path and Cycle Graphs |
| 187 | -- | 194 | Kazuhisa Nakasho, Yasunari Shidama. Classical Isoperimetric Theorem |
| 195 | -- | 201 | Kazuhisa Nakasho, Yasunari Shidama. On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality |
| 203 | -- | 212 | Karol Pak. Elementary Number Theory Problems. Part XVI |
| 213 | -- | 222 | Taneli Huuskonen. Fundamentals of Finitary Proofs |
| 223 | -- | 233 | Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller. Some Standard Examples of Vector Spaces |
| 235 | -- | 245 | Rafal Ziobro. Pascal's Triangle and Lucas's Theorem |
| 247 | -- | 269 | Kazuhisa Nakasho, Yasunari Shidama. Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces |
| 271 | -- | 279 | Adam Grabowski, Franciszek Turowski. Formalization of Trellises and Tolerance Relations |
| 281 | -- | 287 | Sebastian Koch. Some Number Relations |
| 289 | -- | 302 | Christoph Schwarzweller. Finite Fields |