| 2023 | A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface. Alexander Brandt, Juan Pablo González Trochez, Marc Moreno Maza, Haoze Yuan |
| 2023 | A Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates. Evgenii V. Vorozhtsov |
| 2023 | An Algorithm for the Intersection Problem of Planar Parametric Curves. Ling Tan, Bo Li, Bingwei Zhang, Jin-San Cheng |
| 2023 | Certified Study of Internal Solitary Waves. André Galligo, Didier Clamond |
| 2023 | Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings François Boulier, Matthew England, Ilias S. Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov |
| 2023 | Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions. Mahsa Ansari, Michael B. Monagan |
| 2023 | Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals. Katsusuke Nabeshima, Shinichi Tajima |
| 2023 | Efficient Quotients of Non-commutative Polynomials. Stephen M. Watt |
| 2023 | Generating Elementary Integrable Expressions. Rashid Barket, Matthew England, Jürgen Gerhard |
| 2023 | How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. Klara Bernauer, Clemens Hofstadler, Georg Regensburger |
| 2023 | Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa |
| 2023 | Non-principal Branches of Lambert W. A Tale of 2 Circles. Jacob Imre, David J. Jeffrey |
| 2023 | On the Complexity of Linear Algebra Operations over Algebraic Extension Fields. Amir Hashemi, Daniel Lichtblau |
| 2023 | On the Distance to the Nearest Defective Matrix. Elizaveta Kalinina, Alexei Uteshev, Marina V. Goncharova, Elena Lezhnina |
| 2023 | On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System. Valentin Irtegov, Tatiana Titorenko |
| 2023 | On the Structure and Generators of Differential Invariant Algebras. Peter J. Olver |
| 2023 | Range Functions of Any Convergence Order and Their Amortized Complexity Analysis. Kai Hormann, Chee Yap, Ya Shi Zhang |
| 2023 | Root-Squaring for Root-Finding. Soo Go, Victor Y. Pan, Pedro Soto |
| 2023 | Solving Parametric Linear Systems Using Sparse Rational Function Interpolation. Ayoola Jinadu, Michael B. Monagan |
| 2023 | Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods. Bo Huang, Xiaoliang Li, Wei Niu, Shaofen Xie |
| 2023 | Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential. A. A. Gusev, Ochbadrakh Chuluunbaatar, V. L. Derbov, Rashid Nazmitdinov, Sergey I. Vinitsky, Peiwei Wen, C. J. Lin, H. M. Jia, Luong Le Hai |
| 2023 | Two Variants of Bézout Subresultants for Several Univariate Polynomials. Weidong Wang, Jing Yang |