| 2022 | A Degroebnerization Approach to Algebraic Statistics. Michela Ceria, Ferdinando Mora |
| 2022 | A Greedy Approach to the Canny-Emiris Formula. Carles Checa, Ioannis Z. Emiris |
| 2022 | A Property of Modules Over a Polynomial Ring With an Application in Multivariate Polynomial Matrix Factorizations. Dong Lu, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng |
| 2022 | Algorithms for Discrete Differential Equations of Order 1. Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din |
| 2022 | Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals. Weifeng Shang, Chenqi Mou, Deepak Kapur |
| 2022 | An Algebraic Version of the Sum-of-disjoint-products Method for Multi-state System Reliability Analysis. Rodrigo Iglesias, Patricia Pascual-Ortigosa, Eduardo Sáenz-de-Cabezón |
| 2022 | Applications of Computer Algebra to Parameter Analysis of Dynamical Systems. Nathalie Verdière, Sébastien Orange |
| 2022 | Average Complexity of Matrix Reduction for Clique Filtrations. Barbara Giunti, Guillaume Houry, Michael Kerber |
| 2022 | Beyond Worst-Case Analysis for Root Isolation Algorithms. Alperen Ali Ergür, Josué Tonelli-Cueto, Elias P. Tsigaridas |
| 2022 | Bohemian Matrix Geometry. Robert M. Corless, George Labahn, Dan Piponi, Leili Rafiee Sevyeri |
| 2022 | Border Basis Computation with Gradient-Weighted Normalization. Hiroshi Kera |
| 2022 | Bounding the Number of Roots of Multi-Homogeneous Systems. Evangelos Bartzos, Ioannis Z. Emiris, Ilias S. Kotsireas, Charalambos Tzamos |
| 2022 | Computing Critical Points for Algebraic Systems Defined by Hyperoctahedral Invariant Polynomials. Thi Xuan Vu |
| 2022 | Computing a Basis for an Integer Lattice: A Special Case. Haomin Li, Arne Storjohann |
| 2022 | Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry. Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger |
| 2022 | Desingularization and p-Curvature of Recurrence Operators. Yi Zhou, Mark van Hoeij |
| 2022 | Enumerating Denumerable Sets in Polynomial Time via the Schröder-Bernstein Theorem. Reinhold Burger |
| 2022 | Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients. Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu |
| 2022 | Existence of Quantum Symmetries for Graphs on Up to Seven Vertices: A Computer based Approach. Viktor Levandovskyy, Christian Eder, Andreas Steenpass, Simon Schmidt, Julien Schanz, Moritz Weber |
| 2022 | Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers. Cheng-Chao Huang |
| 2022 | Exponent Equations in HNN-extensions. Michael Figelius, Markus Lohrey |
| 2022 | Extending Flat Motion Planning to Non-flat Systems. Experiments on Aircraft Models Using Maple. François Ollivier |
| 2022 | Fast High-Resolution Drawing of Algebraic Curves. Nuwan Herath Mudiyanselage, Guillaume Moroz, Marc Pouget |
| 2022 | Faster Change of Order Algorithm for Gröbner Bases under Shape and Stability Assumptions. Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din |
| 2022 | Finding Nontrivial Zeros of Quadratic Forms over Rational Function Fields of Characteristic 2. Péter Kutas, Mickaël Montessinos, Gergely Zábrádi, Tímea Csahók |
| 2022 | Finer Complexity Estimates for the Change of Ordering of Gröbner Bases for Generic Symmetric Determinantal Ideals. Andrew Ferguson, Huu Phuoc Le |
| 2022 | Guessing with Little Data. Manuel Kauers, Christoph Koutschan |
| 2022 | ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022 Marc Moreno Maza, Lihong Zhi |
| 2022 | Implementing the Thull-Yap Algorithm for Computing Euclidean Remainder Sequences. François Morain |
| 2022 | Linear Hensel Lifting for Zp[x, y] for n Factors with Cubic Cost. Michael B. Monagan, Garrett Paluck |
| 2022 | Local Polynomial Factorisation: Improving the Montes Algorithm. Adrien Poteaux, Martin Weimann |
| 2022 | Mahler Discrete Residues and Summability for Rational Functions. Carlos E. Arreche, Yi Zhang |
| 2022 | Marginal Independence Models. Tobias Boege, Sonja Petrovic, Bernd Sturmfels |
| 2022 | Modeling Complex Root Motion of Real Random Polynomials under Differentiation. André Galligo |
| 2022 | Modular Techniques for Intermediate Primary Decomposition. Yuki Ishihara |
| 2022 | Non-commutative Optimization - Where Algebra, Analysis and Computational Complexity Meet. Avi Wigderson |
| 2022 | On Linear Dependence of Rows and Columns in Matrices over Non-commutative Domains. Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko |
| 2022 | On Polynomial Ideals and Overconvergence in Tate Algebras. Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2022 | On Realizing Differential-Algebraic Equations by Rational Dynamical Systems. Dmitrii Pavlov, Gleb Pogudin |
| 2022 | On the Complexity of Symbolic Computation. Joris van der Hoeven |
| 2022 | On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices. Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell |
| 2022 | On the Error of Random Sampling: Uniformly Distributed Random Points on Parametric Curves. Apostolos Chalkis, Christina Katsamaki, Josué Tonelli-Cueto |
| 2022 | Order-Degree-Height Surfaces for Linear Operators. Hui Huang, Manuel Kauers, Gargi Mukherjee |
| 2022 | Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs. Sebastian Falkensteiner |
| 2022 | Rado Numbers and SAT Computations. Yuan Chang, Jesús A. De Loera, William J. Wesley |
| 2022 | Random Primes without Primality Testing. Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche |
| 2022 | Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix. George Labahn, Vincent Neiger, Thi Xuan Vu, Wei Zhou |
| 2022 | Rational Univariate Representation of Zero-Dimensional Ideals with Parameters. Dingkang Wang, Jingjing Wei, Fanghui Xiao, Xiaopeng Zheng |
| 2022 | Reduction with Respect to the Effective Order and a New Type of Dimension Polynomials of Difference Modules. Alexander Levin |
| 2022 | Simple C2-finite Sequences: a Computable Generalization of C-finite Sequences. Philipp Nuspl, Veronika Pillwein |
| 2022 | Solving Sparse Polynomial Systems using Gröbner Bases and Resultants. Matías R. Bender |
| 2022 | Solving Sums of Squares in Global Fields. Przemyslaw Koprowski |
| 2022 | Sparse Matrices Powering Three Pillars of Science: Simulation, Data, and Learning. Aydin Buluç |
| 2022 | Sparse Polynomial Hermite Interpolation. Erich L. Kaltofen |
| 2022 | Sparse Polynomial Interpolation and Division in Soft-linear Time. Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche |
| 2022 | Stability Problems in Symbolic Integration. Shaoshi Chen |
| 2022 | Symbolic-Numeric Factorization of Differential Operators. Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba |
| 2022 | The GKR Protocol Revisited: Nearly Optimal Prover-Complexity for Polynomial-Time Wiring Algorithms and for Primality Testing in n1/2+o(1) Rounds. Erich L. Kaltofen |
| 2022 | The Membership Problem for Hypergeometric Sequences with Rational Parameters. Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell |
| 2022 | Validated Numerics: Algorithms and Practical Applications in Aerospace. Mioara Joldes |