Articles in press - Formalized Mathematics, eISSN 1898-9934 (Online), ISSN 1426-2630 (Print)

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

Formalized Mathematics, 29(4) - December, 2021

LATTBA_1, {A}utomatization of {T}ernary {B}oolean {A}lgebras, Wojciech Ku{\'s}mierowski and Adam Grabowski,
ANPROJ11, {D}uality Notions in Real Projective Plane, Roland Coghetto,
REAL_NS3, {F}inite Dimensional Real Normed Spaces are Proper Metric Spaces, Kazuhisa Nakasho, Hiroyuki Okazaki and Yasunari Shidama,
MESFUN14, {R}elationship between the {R}iemann and {L}ebesgue Integrals, Noboru Endou,
INTEGR24, {I}mproper Integral. {P}art {I}, Noboru Endou,
HILB10_6, {P}rime Representing Polynomial, Karol P{\k a}k,
FIELD_9, {Q}uadratic Extensions, Christoph Schwarzweller and Agnieszka Rowi{\'n}ska-Schwarzweller,
PRVECT_4, {T}he 3-fold Product Space of Real Normed Spaces and its Properties, Hiroyuki Okazaki and Kazuhisa Nakasho,
GLIB_015, {A}bout Graph Sums, Sebastian Koch,
INTEGR25, {I}mproper Integral. {P}art {II}, Noboru Endou.