- Karol Pak. Surreal Dyadic and Real Numbers: A Formal Construction. Formalized Mathematics, 33(1):11-23, 2025.
- Artur Kornilowicz, Adam Naumowicz. Elementary Number Theory Problems. Part XVII. Formalized Mathematics, 33(1):145-165, 2025.
- Karol Pak. Conway's Normal Form in the Mizar System. Formalized Mathematics, 33(1):25-41, 2025.
- Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller. The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory. Formalized Mathematics, 33(1):165-174, 2025.
- Noboru Endou, Yasunari Shidama. Measure for Product Space of Real Normed Spaces. Formalized Mathematics, 33(1):117-135, 2025.
- Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller. Introduction to Galois Theory. Formalized Mathematics, 33(1):175-183, 2025.
- Kazuhisa Nakasho, Yasunari Shidama. Higher Order Partial Differentiable Functions. Formalized Mathematics, 33(1):103-115, 2025.
- Alexander M. Nelson. Semidirect Products of Groups. Formalized Mathematics, 33(1):65-83, 2025.
- Rafal Ziobro. Application of Complex Classes to Number Theory. Formalized Mathematics, 33(1):207-216, 2025.
- Karol Pak. Surreal Numbers: A Study of Square Roots. Formalized Mathematics, 33(1):1-10, 2025.