| 2020 | A Gröbner-basis theory for divide-and-conquer recurrences. Frédéric Chyzak, Philippe Dumas |
| 2020 | A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix. Stavros Birmpilis, George Labahn, Arne Storjohann |
| 2020 | A divide-and-conquer algorithm for computing gröbner bases of syzygies in finite dimension. Simone Naldi, Vincent Neiger |
| 2020 | A second order cone characterization for sums of nonnegative circuits. Jie Wang, Victor Magron |
| 2020 | Algorithmic averaging for studying periodic orbits of planar differential systems. Bo Huang |
| 2020 | An additive decomposition in logarithmic towers and beyond. Hao Du, Jing Guo, Ziming Li, Elaine Wong |
| 2020 | An extended GCD algorithm for parametric univariate polynomials and application to parametric smith normal form. Dingkang Wang, Hesong Wang, Fanghui Xiao |
| 2020 | Approximate GCD by bernstein basis, and its applications. Kosaku Nagasaka |
| 2020 | Bounds for degrees of minimal Teresa Cortadellas, Carlos D'Andrea, M. Eulalia Montoro |
| 2020 | Compatible rewriting of noncommutative polynomials for proving operator identities. Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger |
| 2020 | Computation of free non-commutative gröbner bases over Z with Singular: Letterplace. Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid |
| 2020 | Computing the N-th term of a q-holonomic sequence. Alin Bostan |
| 2020 | Computing the real isolated points of an algebraic hypersurface. Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff |
| 2020 | Condition numbers for the cube: i: Univariate polynomials and hypersurfaces. Josué Tonelli-Cueto, Elias P. Tsigaridas |
| 2020 | Conditional lower bounds on the spectrahedral representation of explicit hyperbolicity cones. Rafael Oliveira |
| 2020 | Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices. Volker Diekert, Igor Potapov, Pavel Semukhin |
| 2020 | Efficient ECM factorization in parallel with the lyness map. Andrew Hone |
| 2020 | Essentially optimal sparse polynomial multiplication. Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray |
| 2020 | Fast in-place algorithms for polynomial operations: division, evaluation, interpolation. Pascal Giorgi, Bruno Grenet, Daniel S. Roche |
| 2020 | Fast multipoint evaluation and interpolation of polynomials in the LCH-basis over F Axel Mathieu-Mahias, Michaël Quisquater |
| 2020 | Further results on the factorization and equivalence for multivariate polynomial matrices. Dong Lu, Dingkang Wang, Fanghui Xiao |
| 2020 | General witness sets for numerical algebraic geometry. Frank Sottile |
| 2020 | Generalizing the davenport-mahler-mignotte bound. Vikram Sharma |
| 2020 | Generic bivariate multi-point evaluation, interpolation and modular composition with precomputation. Vincent Neiger, Johan Rosenkilde, Grigory Solomatov |
| 2020 | Geometric modeling and regularization of algebraic problems. Zhonggang Zeng |
| 2020 | Global optimization via the dual SONC cone and linear programming. Mareike Dressler, Janin Heuer, Helen Naumann, Timo de Wolff |
| 2020 | How many zeros of a random sparse polynomial are real? Gorav Jindal, Anurag Pandey, Himanshu Shukla, Charilaos Zisopoulos |
| 2020 | ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020 Ioannis Z. Emiris, Lihong Zhi |
| 2020 | Ideal Interpolation, H-bases and symmetry. Erick Rodríguez Bazan, Evelyne Hubert |
| 2020 | Integral bases for p-recursive sequences. Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron |
| 2020 | Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding. Viktor Levandovskyy, Hans Schönemann, Karim Abou Zeid |
| 2020 | Modular techniques for effective localization and double ideal quotient. Yuki Ishihara |
| 2020 | New progress in univariate polynomial root finding. Rémi Imbach, Victor Y. Pan |
| 2020 | Numerical equality tests for rational maps and signatures of curves. Timothy Duff, Michael Ruddy |
| 2020 | On FGLM algorithms with tropical Gröbner bases. Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama |
| 2020 | On a non-archimedean broyden method. Xavier Dahan, Tristan Vaccon |
| 2020 | On fast multiplication of a matrix by its transpose. Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic |
| 2020 | On parameterized complexity of the word search problem in the Baumslag-Gersten group. Alexei Miasnikov, Andrey Nikolaev |
| 2020 | On the apolar algebra of a product of linear forms. Michael DiPasquale, Zachary Flores, Chris Peterson |
| 2020 | On the bit complexity of finding points in connected components of a smooth real hypersurface. Jesse Elliott, Mark Giesbrecht, Éric Schost |
| 2020 | On the chordality of ordinary differential triangular decomposition in top-down style. Chenqi Mou |
| 2020 | On the geometry and the topology of parametric curves. Christina Katsamaki, Fabrice Rouillier, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos |
| 2020 | On the parallelization of triangular decompositions. Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie |
| 2020 | On the skolem problem and prime powers. George Kenison, Richard Lipton, Joël Ouaknine, James Worrell |
| 2020 | On the uniqueness of simultaneous rational function reconstruction. Eleonora Guerrini, Romain Lebreton, Ilaria Zappatore |
| 2020 | Parametric standard system for mixed module and its application to singularity theory. Hiroshi Teramoto, Katsusuke Nabeshima |
| 2020 | Positive solutions of sparse polynomial systems. Alicia Dickenstein |
| 2020 | Punctual Hilbert scheme and certified approximate singularities. Angelos Mantzaflaris, Bernard Mourrain, Ágnes Szántó |
| 2020 | Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. Matthew England |
| 2020 | Reflections on elimination theory. David A. Cox |
| 2020 | Robots, computer algebra and eight connected components. Jose Capco, Mohab Safey El Din, Josef Schicho |
| 2020 | Separating variables in bivariate polynomial ideals. Manfred Buchacher, Manuel Kauers, Gleb Pogudin |
| 2020 | Signature-based algorithms for Gröbner bases over tate algebras. Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2020 | Some properties of multivariate differential dimension polynomials and their invariants. Alexander Levin |
| 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 | Sub-quadratic time for riemann-roch spaces: case of smooth divisors over nodal plane projective curves. Simon Abelard, Alain Couvreur, Grégoire Lecerf |
| 2020 | Subdivisions for macaulay formulas of sparse systems. Friedemann Groh |
| 2020 | Syzygies of ideals of polynomial rings over principal ideal domains. Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis |
| 2020 | The fundamental theorem of tropical partial differential algebraic geometry. Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, François Boulier |
| 2020 | The orbiter ecosystem for combinatorial data. Anton Betten |
| 2020 | Ubiquity of the exponent of matrix multiplication. Lek-Heng Lim, Ke Ye |
| 2020 | What do sparse interpolation, padé approximation, gaussian quadrature and tensor decomposition have in common? Annie A. M. Cuyt |
| 2020 | WhyMP, a formally verified arbitrary-precision integer library. Guillaume Melquiond, Raphaël Rieu-Helft |