- Tommi A. Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen. An adaptive prefix-assignment technique for symmetry reduction. Journal of Symbolic Computation, 99:21-49, 2020.
- Thierry N. Dana-Picard. An automated study of isoptic curves of an astroid. Journal of Symbolic Computation, 97:56-68, 2020.
- John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano. Computing and using minimal polynomials. Journal of Symbolic Computation, 100:137-163, 2020.
- Alexander Woo, Alexander Yong. Tropicalization, symmetric polynomials, and complexity. Journal of Symbolic Computation, 99:242-249, 2020.
- James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm 0001, Cesare Tinelli. Symbolic computation and satisfiability checking. Journal of Symbolic Computation, 100:1-10, 2020.
- Christina Boura, Eirini Chavli, Maria Chlouveraki, Konstantinos Karvounis. 8. Journal of Symbolic Computation, 96:62-84, 2020.
- Mohab Safey El Din, Chee Yap. Special Issue on Symbolic and Algebraic Computation: ISSAC 2017. Journal of Symbolic Computation, 98:1-2, 2020.
- Parisa Alvandi, Masoud Ataei, Mahsa Kazemi, Marc Moreno Maza. On the Extended Hensel Construction and its application to the computation of real limit points. Journal of Symbolic Computation, 98:120-162, 2020.
- Zeyu Guo. Deterministic polynomial factoring over finite fields: A uniform approach via P-schemes. Journal of Symbolic Computation, 96:22-61, 2020.
- Michael Clausen. n. Journal of Symbolic Computation, 98:319-357, 2020.