| 2016 | Computational Aspects of a Bound of Lagrange. | Doru Stefanescu |
| 2016 | Pruning Algorithms for Pretropisms of Newton Polytopes. | Jeff Sommars, Jan Verschelde |
| 2016 | Symbolic-Numerical Optimization and Realization of the Method of Collocations and Least Residuals for Solving the Navier-Stokes Equations. | Vasily P. Shapeev, Evgenii V. Vorozhtsov |
| 2016 | Enhancing the Extended Hensel Construction by Using Grbner Bases. | Tateaki Sasaki, Daiju Inaba |
| 2016 | A Lower Bound for Computing Lagrange's Real Root Bound. | Swaroop N. Prabhakar, Vikram Sharma |
| 2016 | Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image. | Kacper Pluta, Guillaume Moroz, Yukiko Kenmochi, Pascal Romon |
| 2016 | A Survey of Satisfiability Modulo Theory. | David Monniaux |
| 2016 | Using Sparse Interpolation in Hensel Lifting. | Michael B. Monagan, Baris Tuncer |
| 2016 | On the General Analytical Solution of the Kinematic Cosserat Equations. | Dominik L. Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Zahid Hossain, Ingmar H. Riedel-Kruse, Andreas G. Weber |
| 2016 | Computing Sparse Representations of Systems of Rational Fractions. | Franois Lemaire, Alexandre Temperville |
| 2016 | Computing Characteristic Polynomials of Matrices of Structured Polynomials. | Marshall Law, Michael B. Monagan |
| 2016 | A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. | Gereon Kremer, Florian Corzilius, Erika brahm |
| 2016 | On Multiple Eigenvalues of a Matrix Dependent on a Parameter. | Elizabeth A. Kalinina |
| 2016 | Qualitative Analysis of the Reyman - Semenov-Tian-Shansky Integrable Case of the Generalized Kowalewski Top. | Valentin Irtegov, Tatiana Titorenko |
| 2016 | A Note on Dynamic Grbner Bases Computation. | Amir Hashemi, Delaram Talaashrafi |
| 2016 | Computer Algebra in High-Energy Physics (Invited Talk). | Thomas Hahn |
| 2016 | A Symbolic Investigation of the Influence of Aerodynamic Forces on Satellite Equilibria. | Sergey A. Gutnik, Vasily A. Sarychev |
| 2016 | Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point Groups. | Alexander A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, Vladimir L. Derbov, Andrzej Gzdz, Aleksandra Pedrak, A. Szulerecka, A. Dobrowolski |
| 2016 | Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs of the Second Order: Multichannel Scattering and Eigenvalue Problems. | Alexander A. Gusev, Vladimir P. Gerdt, Luong Le Hai, Vladimir L. Derbov, Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar |
| 2016 | Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms. | Madalina Erascu |
| 2016 | The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. | Matthew England, James H. Davenport |
| 2016 | A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications. | Changbo Chen, Wenyuan Wu |
| 2016 | Incompleteness, Undecidability and Automated Proofs - (Invited Talk). | Cristian S. Calude, Declan Thompson |
| 2016 | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2016 | Sparse Gaussian Elimination Modulo p: An Update. | Charles Bouillaguet, Claire Delaplace |