- 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.
- 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.
- 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.
- Santiago Barrera Acevedo, Heiko Dietrich, Kshitija Vaidya. A Block Structure for Cocyclic Hadamard Matrices of Order 8p. Mathematics in Computer Science, 19(1):3, December 2025.
- Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia. A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques. Mathematics in Computer Science, 19(1):8, December 2025.
- Antonio Jiménez-Pastor, Sonia L. Rueda, Maria-Angeles Zurro, Rafael Hernandez Heredero, Rafael Delgado. Computing Almost Commuting Bases of ODOs and Gelfand-Dickey Hierarchies. Mathematics in Computer Science, 19(1):4, December 2025.
- Toru Hasunuma. Exponentiation of Graphs. Mathematics in Computer Science, 19(1):5, December 2025.
- David Henneaux, Pierre Schrooyen, Philippe Chatelain, Thierry E. Magin. A General Methodology for Symbolically Generating Manufactured Solutions Satisfying Prescribed Conditions: Application to Two-phase Flows Equations. Mathematics in Computer Science, 18(2):5, July 2024.