- Karol Pak. Surreal Dyadic and Real Numbers: A Formal Construction. Formalized Mathematics, 33(1):11-23, 2025.
- Karol Pak. Conway's Normal Form in the Mizar System. Formalized Mathematics, 33(1):25-41, 2025.
- Karol Pak. Surreal Numbers: A Study of Square Roots. Formalized Mathematics, 33(1):1-10, 2025.
- Yasushige Watase. e. Part I. Formalized Mathematics, 32(1):111-120, 2024.
- Adam Grabowski, Franciszek Turowski. Formalization of Trellises and Tolerance Relations. Formalized Mathematics, 32(1):271-279, 2024.
- Yasushige Watase. e. Part II. Formalized Mathematics, 32(1):121-131, 2024.
- Kazuhisa Nakasho, Yasunari Shidama. On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality. Formalized Mathematics, 32(1):195-201, 2024.
- Kazuhisa Nakasho, Yasunari Shidama. Classical Isoperimetric Theorem. Formalized Mathematics, 32(1):187-194, 2024.
- Christoph Schwarzweller. Separable Polynomials and Separable Extensions. Formalized Mathematics, 32(1):33-46, 2024.
- Christoph Schwarzweller. Finite Fields. Formalized Mathematics, 32(1):289-302, 2024.