| 2020 | Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding. | Viktor Levandovskyy, Hans Schnemann, Karim Abou Zeid |
| 2020 | Computation of free non-commutative grbner bases over Z with Singular: Letterplace. | Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid |
| 2020 | Computing the real isolated points of an algebraic hypersurface. | Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff |
| 2020 | On the skolem problem and prime powers. | George Kenison, Richard Lipton, Jol Ouaknine, James Worrell |
| 2020 | On the geometry and the topology of parametric curves. | Christina Katsamaki, Fabrice Rouillier, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos |
| 2020 | How many zeros of a random sparse polynomial are real? | Gorav Jindal, Anurag Pandey, Himanshu Shukla, Charilaos Zisopoulos |
| 2020 | On FGLM algorithms with tropical Grbner bases. | Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama |
| 2020 | Modular techniques for effective localization and double ideal quotient. | Yuki Ishihara |
| 2020 | New progress in univariate polynomial root finding. | Rmi Imbach, Victor Y. Pan |
| 2020 | Algorithmic averaging for studying periodic orbits of planar differential systems. | Bo Huang |
| 2020 | Efficient ECM factorization in parallel with the lyness map. | Andrew Hone |
| 2020 | On the uniqueness of simultaneous rational function reconstruction. | Eleonora Guerrini, Romain Lebreton, Ilaria Zappatore |
| 2020 | Subdivisions for macaulay formulas of sparse systems. | Friedemann Groh |
| 2020 | Fast in-place algorithms for polynomial operations: division, evaluation, interpolation. | Pascal Giorgi, Bruno Grenet, Daniel S. Roche |
| 2020 | Essentially optimal sparse polynomial multiplication. | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray |
| 2020 | Sparse multiplication for skew polynomials. | Mark Giesbrecht, Qiao-Long Huang, ric Schost |
| 2020 | Special-case algorithms for blackbox radical membership, nullstellensatz and transcendence degree. | Abhibhav Garg, Nitin Saxena |
| 2020 | The fundamental theorem of tropical partial differential algebraic geometry. | Sebastian Falkensteiner, Cristhian Garay-Lpez, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, Franois Boulier |
| 2020 | Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. | Matthew England |
| 2020 | On the bit complexity of finding points in connected components of a smooth real hypersurface. | Jesse Elliott, Mark Giesbrecht, ric Schost |
| 2020 | On fast multiplication of a matrix by its transpose. | Jean-Guillaume Dumas, Clment Pernet, Alexandre Sedoglavic |
| 2020 | An additive decomposition in logarithmic towers and beyond. | Hao Du, Jing Guo, Ziming Li, Elaine Wong |
| 2020 | Numerical equality tests for rational maps and signatures of curves. | Timothy Duff, Michael Ruddy |
| 2020 | Global optimization via the dual SONC cone and linear programming. | Mareike Dressler, Janin Heuer, Helen Naumann, Timo de Wolff |
| 2020 | On the apolar algebra of a product of linear forms. | Michael DiPasquale, Zachary Flores, Chris Peterson |