In years: 2016-2017, the English version of Formalized Mathematics was financed under agreement 548/P-DUN/2016with the funds from the Polish Minister of Science and Higher Education for the dissemination of science. |

- RVSUM_4,
*{C}oncatenation of Finite Sequences*, Rafa{\l} Ziobro, - LOPBAN_9,
*{B}ilinear Operators on Normed Linear Spaces*, Kazuhisa Nakasho, - PDIFFEQ1,
*{A} Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables*, Sora Otsuki, Pauline N. Kawamoto and Hiroshi Yamazaki, - LOPBAN10,
*{M}ultilinear Operator and Its Basic Properties*, Kazuhisa Nakasho, - ANPROJ10,
*{C}ross-ratio in Real Vector Space*, Roland Coghetto, - LOPBAN11,
*{C}ontinuity of Multilinear Operator on Normed Linear Spaces*, Kazuhisa Nakasho and Yasunari Shidama, - MESFUN13,
*{F}ubini's Theorem*, Noboru Endou, - GTARSKI4,
*{T}arski Geometry Axioms. {P}art {IV} -- Right angle*, Roland Coghetto and Adam Grabowski, - NTALGO_2,
*{M}aximum Number of Steps Taken by Modular Exponentiation and {E}uclidean Algorithm*, Hiroyuki Okazaki, Koich Nagao and Yuichi Futa.