- Julien Chien, Sam Nelson. Virtual links with finite medial bikei. Journal of Symbolic Computation, 92:211-221, 2019.
- Elena Angelini. Waring decompositions and identifiability via Bertini and Macaulay2 software. Journal of Symbolic Computation, 91:200-212, 2019.
- Anton Leykin, Josephine Yu. Beyond polyhedral homotopies. Journal of Symbolic Computation, 91:173-180, 2019.
- Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Journal of Symbolic Computation, 90:3-41, 2019.
- Ivan Marin. 21. Journal of Symbolic Computation, 92:1-14, 2019.
- Markus Rosenkranz, Nitin Serwa. An integro-differential structure for Dirac distributions. Journal of Symbolic Computation, 92:156-189, 2019.
- Sara Kalisnik, Davorin Lesnik. Symmetric polynomials in tropical algebra semirings. Journal of Symbolic Computation, 93:100-119, 2019.
- Rok Pozar. Computing stable epimorphisms onto finite groups. Journal of Symbolic Computation, 92:22-30, 2019.
- William R. Unger. An algorithm for computing Schur indices of characters. Journal of Symbolic Computation, 93:148-160, 2019.
- Juan Ignacio García-García, Daniel Marín-Aragón, María Angeles Moreno-Frías. On divisor-closed submonoids and minimal distances in finitely generated monoids. Journal of Symbolic Computation, 93:230-245, 2019.