- Florent Bréhard, Jasmin Krüger, Adrien Poteaux, Arthur Vinciguerra. Validated Numerical Hensel Lifting. Mathematics in Computer Science, 20(1):3, December 2026.
- Martin Brain, Jacob M. Howe. Canonical Forms and Widening for Two Variables Per Inequality Systems. Mathematics in Computer Science, 20(1):2, December 2026.
- Amir Hashemi, Nicolas Jagersma, Matthias Orth, Werner M. Seiler. Minimal Staggered Linear Bases and Their Applications. Mathematics in Computer Science, 20(1):1, December 2026.
- Jichao Song, Wei Niu, Bo Huang, Le Deng. Qualitative Investigation of the Lorenz-84 System Using Computer Algebra Methods. Mathematics in Computer Science, 19(1):6, December 2025.
- Yusen Wu, Yangtao Li, Xinli Li, Xiangyu Wang. Symmetric Integrability and Linearizability of Weak Saddles in Planar Cubic Differential Systems. Mathematics in Computer Science, 19(1):10, December 2025.
- Ruyong Feng, Zewang Guo, Siting Xiong. Rational First Integrals of Separable Differential Equations. Mathematics in Computer Science, 19(1):2, December 2025.
- Bernhard Andraschko, Martin Kreuzer, Le Ngoc Long. Efficient Checking of Separating Indeterminates. Mathematics in Computer Science, 19(1):9, December 2025.
- James H. Davenport, Matthew England 0001, Scott McCallum, Ali Kemal Uncu. Iterated Resultants and Rational Functions in Real Quantifier Elimination. Mathematics in Computer Science, 19(1):12, December 2025.
- Xiaoliang Li, Bo Li. A Bertrand Duopoly Game with Differentiated Products Reconsidered. Mathematics in Computer Science, 19(1):1, December 2025.
- Nicolas Faroß, Simon Schwarz. Gröbner Bases for Boolean Function Minimization. Mathematics in Computer Science, 19(1):7, December 2025.