- 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.
- 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.
- 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.
- Peter Paule, Carsten Schneider. Creative telescoping for hypergeometric double sums. Journal of Symbolic Computation, 128:102394, 2025.
- Rémi Imbach, Guillaume Moroz. Fast evaluation and root finding for polynomials with floating-point coefficients. Journal of Symbolic Computation, 127:102372, 2025.
- Alessandra Bernardi, Kristian Ranestad. Corrigendum to "On the cactus rank of cubics forms" [J. Symb. Comput. 50 (2013) 291-297]. Journal of Symbolic Computation, 127:102354, 2025.