- Julien Alexandre Dit Sandretto. Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series. ACM Comm. Computer Algebra, 59(3):57-63, September 2025.
- Alexandre Guillemot. Certified Algebraic Path Tracking with Algpath. ACM Comm. Computer Algebra, 59(3):53-56, September 2025.
- Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza, Chirantan Mukherjee. Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action. ACM Comm. Computer Algebra, 59(3):41-46, September 2025.
- K. Mohamed Harith, A. V. Jayanthan, B. V. Raghavendra Rao. Algebraic and Combinatorial Algorithms for S-Packing Coloring. ACM Comm. Computer Algebra, 59(1):1-16, March 2025.
- Raphaël Jolly. Meditor, the Mathemagical Editor. ACM Comm. Computer Algebra, 59(3):64-67, September 2025.
- Sergei A. Abramov, Dmitry S. Kulyabov, Anna A. Ryabenko, Timur M. Sadykov 0001, Leonid A. Sevastianov. The Sixth Conference "Computer Algebra" in Moscow. ACM Comm. Computer Algebra, 59(2):31-38, June 2025.
- François Boulier. The DenefLipshitz Algorithm: (Software Demonstration Support). ACM Comm. Computer Algebra, 59(3):47-52, September 2025.
- Aharon E. Naiman. Zeta Functions from Multiple Summations. ACM Comm. Computer Algebra, 59(1):17-29, March 2025.
- Przemyslaw Koprowski. Computing Resultant of Quaternionic Polynomials. ACM Comm. Computer Algebra, 58(3):89-92, September 2024.
- François Fages, Mathieu Hemery, Sylvain Soliman. On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry. ACM Comm. Computer Algebra, 58(2):15-22, June 2024.