Formalized Mathematics Feed https://sciendo.com/journal/FORMA Sciendo RSS Feed for Formalized Mathematics Sun, 10 May 2026 13:19:10 GMT https://validator.w3.org/feed/docs/rss2.html https://github.com/jpmonette/feed Formalized Mathematics Feed https://sciendo-parsed.s3.eu-central-1.amazonaws.com/6471d74c215d2f6c89db2a46/cover-image.jpg https://sciendo.com/journal/FORMA All rights reserved 2026, University of Białystok <![CDATA[Triangular Fuzzy Set Composed of Two Intersecting Affine Maps]]> https://sciendo.com/article/10.2478/forma-2025-0011 https://sciendo.com/article/10.2478/forma-2025-0011 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Higher Order Partial Differentiable Functions]]> https://sciendo.com/article/10.2478/forma-2025-0009 https://sciendo.com/article/10.2478/forma-2025-0009 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Measure for Product Space of Real Normed Spaces]]> https://sciendo.com/article/10.2478/forma-2025-0010 https://sciendo.com/article/10.2478/forma-2025-0010 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Formalization of Separable Version of Banach–Alaoglu Theorem]]> https://sciendo.com/article/10.2478/forma-2025-0018 https://sciendo.com/article/10.2478/forma-2025-0018 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Integrability of Multivariable Continuous Functions]]> https://sciendo.com/article/10.2478/forma-2025-0015 https://sciendo.com/article/10.2478/forma-2025-0015 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory]]> https://sciendo.com/article/10.2478/forma-2025-0013 https://sciendo.com/article/10.2478/forma-2025-0013 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Introduction to Galois Theory]]> https://sciendo.com/article/10.2478/forma-2025-0014 https://sciendo.com/article/10.2478/forma-2025-0014 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Elementary Number Theory Problems. Part XVIII]]> https://sciendo.com/article/10.2478/forma-2025-0017 https://sciendo.com/article/10.2478/forma-2025-0017 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Characterization of Finite Galois Extensions]]> https://sciendo.com/article/10.2478/forma-2025-0019 https://sciendo.com/article/10.2478/forma-2025-0019 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Elementary Number Theory Problems. Part XIX]]> https://sciendo.com/article/10.2478/forma-2025-0020 https://sciendo.com/article/10.2478/forma-2025-0020 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Application of Complex Classes to Number Theory]]> https://sciendo.com/article/10.2478/forma-2025-0016 https://sciendo.com/article/10.2478/forma-2025-0016 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Elementary Number Theory Problems. Part XVII]]> https://sciendo.com/article/10.2478/forma-2025-0012 https://sciendo.com/article/10.2478/forma-2025-0012 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Formalization of Wallis Infinite Product Formula for π and the Wallis Integral]]> https://sciendo.com/article/10.2478/forma-2025-0007 https://sciendo.com/article/10.2478/forma-2025-0007 Tue, 23 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[A Formal Proof of Stirling’s Formula]]> https://sciendo.com/article/10.2478/forma-2025-0008 https://sciendo.com/article/10.2478/forma-2025-0008 Tue, 23 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Semidirect Products of Groups]]> https://sciendo.com/article/10.2478/forma-2025-0006 https://sciendo.com/article/10.2478/forma-2025-0006 Wed, 17 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Extensions of Languages in Polish Notation]]> https://sciendo.com/article/10.2478/forma-2025-0005 https://sciendo.com/article/10.2478/forma-2025-0005 Wed, 17 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Free Product of Groups]]> https://sciendo.com/article/10.2478/forma-2025-0004 https://sciendo.com/article/10.2478/forma-2025-0004 Mon, 08 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Surreal Dyadic and Real Numbers: A Formal Construction]]> https://sciendo.com/article/10.2478/forma-2025-0002 https://sciendo.com/article/10.2478/forma-2025-0002 Tue, 30 Sep 2025 00:00:00 GMT ARTICLE <![CDATA[Conway’s Normal Form in the Mizar System]]> https://sciendo.com/article/10.2478/forma-2025-0003 https://sciendo.com/article/10.2478/forma-2025-0003 Tue, 30 Sep 2025 00:00:00 GMT ARTICLE <![CDATA[Surreal Numbers: A Study of Square Roots]]> https://sciendo.com/article/10.2478/forma-2025-0001 https://sciendo.com/article/10.2478/forma-2025-0001 Tue, 30 Sep 2025 00:00:00 GMT ARTICLE