| 2023 | Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods. | Bo Huang, Xiaoliang Li, Wei Niu, Shaofen Xie |
| 2023 | Range Functions of Any Convergence Order and Their Amortized Complexity Analysis. | Kai Hormann, Chee Yap, Ya Shi Zhang |
| 2023 | On the Complexity of Linear Algebra Operations over Algebraic Extension Fields. | Amir Hashemi, Daniel Lichtblau |
| 2023 | Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential. | Alexander A. Gusev, Ochbadrakh Chuluunbaatar, Vladimir L. Derbov, Rashid Nazmitdinov, Sergey I. Vinitsky, Peiwei Wen, C. J. Lin, H. M. Jia, Luong Le Hai |
| 2023 | Root-Squaring for Root-Finding. | Soo Go, Victor Y. Pan, Pedro Soto |
| 2023 | Certified Study of Internal Solitary Waves. | Andr Galligo, Didier Clamond |
| 2023 | A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface. | Alexander Brandt, Juan Pablo Gonzlez Trochez, Marc Moreno Maza, Haoze Yuan |
| 2023 | How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. | Klara Bernauer, Clemens Hofstadler, Georg Regensburger |
| 2023 | Generating Elementary Integrable Expressions. | Rashid Barket, Matthew England, Jrgen Gerhard |
| 2023 | Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions. | Mahsa Ansari, Michael B. Monagan |
| 2022 | A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. | Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang |
| 2022 | Survey on Generalizations of the Intermediate Value Theorem and Applications. | Michael N. Vrahatis |
| 2022 | A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics. | Evgenii V. Vorozhtsov, Sergey P. Kiselev |
| 2022 | Locating the Closest Singularity in a Polynomial Homotopy. | Jan Verschelde, Kylash Viswanathan |
| 2022 | An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions. | Daisuke Takahashi |
| 2022 | New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. | Tereso del Ro, Matthew England |
| 2022 | Stability Analysis of Periodic Motion of the Swinging Atwood Machine. | Alexander N. Prokopenya |
| 2022 | A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences. | Philipp Nuspl, Veronika Pillwein |
| 2022 | Computing the Integer Hull of Convex Polyhedral Sets. | Marc Moreno Maza, Linxiao Wang |
| 2022 | On Boundary Conditions Parametrized by Analytic Functions. | Markus Lange-Hegermann, Daniel Robertz |
| 2022 | Distance Evaluation to the Set of Matrices with Multiple Eigenvalues. | Elizaveta Kalinina, Alexei Uteshev |
| 2022 | An Interpolation Algorithm for Computing Dixon Resultants. | Ayoola Jinadu, Michael B. Monagan |
| 2022 | On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field. | Valentin Irtegov, Tatiana Titorenko |
| 2022 | Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles. | Rmi Imbach, Victor Y. Pan |
| 2022 | Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition. | Mingyu Dong, Chenqi Mou |