Formalized Mathematics Feed https://reference-global.com/journal/FORMA Reference Global RSS Feed for Formalized Mathematics Wed, 21 Oct 2026 13:06:19 GMT https://validator.w3.org/feed/docs/rss2.html https://github.com/jpmonette/feed Formalized Mathematics Feed https://paradigm-files.s3.eu-central-1.amazonaws.com/FORMA/cover-image.jpg https://reference-global.com/journal/FORMA All rights reserved 2026, University of Białystok <![CDATA[General Linear Group over Arbitrary Rings]]> https://reference-global.com/article/10.2478/forma-2026-0003 /article/10.2478/forma-2026-0003 Fri, 16 Oct 2026 00:00:00 GMT ARTICLE <![CDATA[The Fundamental Theorem of Galois Theory]]> https://reference-global.com/article/10.2478/forma-2026-0002 /article/10.2478/forma-2026-0002 Sat, 13 Jun 2026 00:00:00 GMT ARTICLE <![CDATA[The Galois Connection between IntermediateFields(E,F) and Subgroups of Aut(E,F)]]> https://reference-global.com/article/10.2478/forma-2026-0001 /article/10.2478/forma-2026-0001 Sat, 13 Jun 2026 00:00:00 GMT ARTICLE <![CDATA[Application of Complex Classes to Number Theory]]> https://reference-global.com/article/10.2478/forma-2025-0016 /article/10.2478/forma-2025-0016 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Measure for Product Space of Real Normed Spaces]]> https://reference-global.com/article/10.2478/forma-2025-0010 /article/10.2478/forma-2025-0010 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Elementary Number Theory Problems. Part XVII]]> https://reference-global.com/article/10.2478/forma-2025-0012 /article/10.2478/forma-2025-0012 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Elementary Number Theory Problems. Part XVIII]]> https://reference-global.com/article/10.2478/forma-2025-0017 /article/10.2478/forma-2025-0017 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Triangular Fuzzy Set Composed of Two Intersecting Affine Maps]]> https://reference-global.com/article/10.2478/forma-2025-0011 /article/10.2478/forma-2025-0011 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Integrability of Multivariable Continuous Functions]]> https://reference-global.com/article/10.2478/forma-2025-0015 /article/10.2478/forma-2025-0015 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Introduction to Galois Theory]]> https://reference-global.com/article/10.2478/forma-2025-0014 /article/10.2478/forma-2025-0014 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Formalization of Separable Version of Banach–Alaoglu Theorem]]> https://reference-global.com/article/10.2478/forma-2025-0018 /article/10.2478/forma-2025-0018 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Higher Order Partial Differentiable Functions]]> https://reference-global.com/article/10.2478/forma-2025-0009 /article/10.2478/forma-2025-0009 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory]]> https://reference-global.com/article/10.2478/forma-2025-0013 /article/10.2478/forma-2025-0013 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Characterization of Finite Galois Extensions]]> https://reference-global.com/article/10.2478/forma-2025-0019 /article/10.2478/forma-2025-0019 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Elementary Number Theory Problems. Part XIX]]> https://reference-global.com/article/10.2478/forma-2025-0020 /article/10.2478/forma-2025-0020 Wed, 31 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Formalization of Wallis Infinite Product Formula for π and the Wallis Integral]]> https://reference-global.com/article/10.2478/forma-2025-0007 /article/10.2478/forma-2025-0007 Tue, 23 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[A Formal Proof of Stirling’s Formula]]> https://reference-global.com/article/10.2478/forma-2025-0008 /article/10.2478/forma-2025-0008 Tue, 23 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Extensions of Languages in Polish Notation]]> https://reference-global.com/article/10.2478/forma-2025-0005 /article/10.2478/forma-2025-0005 Wed, 17 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Semidirect Products of Groups]]> https://reference-global.com/article/10.2478/forma-2025-0006 /article/10.2478/forma-2025-0006 Wed, 17 Dec 2025 00:00:00 GMT ARTICLE <![CDATA[Free Product of Groups]]> https://reference-global.com/article/10.2478/forma-2025-0004 /article/10.2478/forma-2025-0004 Mon, 08 Dec 2025 00:00:00 GMT ARTICLE