- Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas 0001, Marc Mezzarobba. First-order factors of linear Mahler operators. Journal of Symbolic Computation, 130:102424, 2025.
- Si Tiep Dinh, Feng Guo, Hong Duc Nguyen, Tien Son Pham. Limits of real bivariate rational functions. Journal of Symbolic Computation, 129:102405, 2025.
- Sergey I. Senashov, Alexander Yakhno. Dissimilar subalgebras of symmetry algebra of plasticity equations. Journal of Symbolic Computation, 127:102358, 2025.
- Amir Hashemi, Deepak Kapur. A new algorithm for Gröbner bases conversion. Journal of Symbolic Computation, 128:102391, 2025.
- Bettina Eick, Óscar Fernández Ayala. The conjugacy problem and canonical representatives in finitely generated nilpotent groups. Journal of Symbolic Computation, 130:102422, 2025.
- Shaoshi Chen, Lixin Du, Manuel Kauers, Rong-Hua Wang. Reduction-based creative telescoping for P-recursive sequences via integral bases. Journal of Symbolic Computation, 126:102341, 2025.
- Vaishak Belle. A propositional encoding for first-order clausal entailment over infinitely many constants. Journal of Symbolic Computation, 130:102434, 2025.
- Jelle Piepenbrock, Josef Urban, Konstantin Korovin, Miroslav Olsák, Tom Heskes, Mikolás Janota. Invariant neural architecture for learning term synthesis in instantiation proving. Journal of Symbolic Computation, 128:102375, 2025.
- Philippe Moustrou, Cordian Riener, Thorsten Theobald, Hugues Verdure. Symmetric SAGE and SONC forms, exactness and quantitative gaps. Journal of Symbolic Computation, 127:102374, 2025.
- Sebastian Debus, Charu Goel, Salma Kuhlmann, Cordian Riener. On nonnegative invariant quartics in type A. Journal of Symbolic Computation, 128:102393, 2025.