- 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.
- Xianbo Sun, Wentao Huang. Bounding the number of limit cycles for a polynomial Liénard system by using regular chains. Journal of Symbolic Computation, 79:197-210, 2017.
- Nicolás Botbol, Laurent Busé, Marc Chardin, Seyed Hamid Hassanzadeh, Aron Simis, Hoa Tran Quang. Effective criteria for bigraded birational maps. Journal of Symbolic Computation, 81:69-87, 2017.
- Jorge N. M. Ferreira, Peter Fleischmann. +(4, q) in the natural characteristic. Journal of Symbolic Computation, 79:356-371, 2017.
- Volker Diekert, Alexei G. Myasnikov, Armin Weiß. Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem. Journal of Symbolic Computation, 83:147-165, 2017.
- Dorel Lucanu, Vlad Rusu, Andrei Arusoaie. A generic framework for symbolic execution: A coinductive approach. Journal of Symbolic Computation, 80:125-163, 2017.
- Amit Chattopadhyay, Gert Vegter, Chee K. Yap. Certified computation of planar Morse-Smale complexes. Journal of Symbolic Computation, 78:3-40, 2017.
- Sorin Stratulat. Mechanically certifying formula-based Noetherian induction reasoning. Journal of Symbolic Computation, 80:209-249, 2017.
- Erdal Imamoglu, Mark van Hoeij. Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases. Journal of Symbolic Computation, 83:254-271, 2017.