- Cyrille Chenavier. Reduction operators and completion of rewriting systems. Journal of Symbolic Computation, 84:57-83, 2018.
- Ralf Hemmecke. Dancing samba with Ramanujan partition congruences. Journal of Symbolic Computation, 84:14-24, 2018.
- Tulay Ayyildiz Akoglu, Jonathan D. Hauenstein, Agnes Szanto. Certifying solutions to overdetermined and singular polynomial systems over ℚ. Journal of Symbolic Computation, 84:147-171, 2018.
- Velleda Baldoni, Michèle Vergne, M. Walter. Computation of dilated Kronecker coefficients. Journal of Symbolic Computation, 84:113-146, 2018.
- Tomas Sauer. Prony's method in several variables: Symbolic solutions by universal interpolation. Journal of Symbolic Computation, 84:95-112, 2018.
- Lin Jiu, Victor H. Moll, Christophe Vignat. A symbolic approach to multiple zeta values at negative integers. Journal of Symbolic Computation, 84:1-13, 2018.
- Aaron Herman, Hoon Hong, Elias P. Tsigaridas. Improving root separation bounds. Journal of Symbolic Computation, 84:25-56, 2018.
- Andrey Nikolaev, Alexander Ushakov. Subset sum problem in polycyclic groups. Journal of Symbolic Computation, 84:84-94, 2018.
- Jonathan D. Hauenstein, Bernard Mourrain, Ágnes Szántó. On deflation and multiplicity structure. Journal of Symbolic Computation, 83:228-253, 2017.
- Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan. Binomial difference ideals. Journal of Symbolic Computation, 80:665-706, 2017.