- Takashi Mitsuishi. Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method. Formalized Mathematics, 31(1):59-66, September 2023.
- Sebastian Koch. Introduction to Graph Enumerations. Formalized Mathematics, 31(1):31-52, September 2023.
- Hiroyuki Okazaki. On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors. Formalized Mathematics, 31(1):53-57, September 2023.
- Noboru Endou. Differentiation on Interval. Formalized Mathematics, 31(1):9-21, September 2023.
- Yasushige Watase. On Bag of 1. Part I. Formalized Mathematics, 31(1):1-8, September 2023.
- Artur Kornilowicz. Elementary Number Theory Problems. Part VII. Formalized Mathematics, 31(1):23-29, September 2023.
- Roland Coghetto. Non-Trivial Universes and Sequences of Universes. Formalized Mathematics, 30(1):53-66, 2022.
- Hiroyuki Okazaki. Formalization of Orthogonal Decomposition for Hilbert Spaces. Formalized Mathematics, 30(4):295-299, December 2022.
- Yasushige Watase. Ring of Endomorphisms and Modules over a Ring. Formalized Mathematics, 30(3):211-221, 2022.
- Christoph Schwarzweller. Artin's Theorem Towards the Existence of Algebraic Closures. Formalized Mathematics, 30(3):199-207, 2022.