| 2016 | A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. Gereon Kremer, Florian Corzilius, Erika Ábrahám |
| 2016 | A Lower Bound for Computing Lagrange's Real Root Bound. Swaroop N. Prabhakar, Vikram Sharma |
| 2016 | A Note on Dynamic Gröbner Bases Computation. Amir Hashemi, Delaram Talaashrafi |
| 2016 | A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications. Changbo Chen, Wenyuan Wu |
| 2016 | A Survey of Satisfiability Modulo Theory. David Monniaux |
| 2016 | A Symbolic Investigation of the Influence of Aerodynamic Forces on Satellite Equilibria. Sergey A. Gutnik, Vasily A. Sarychev |
| 2016 | Algorithmic Computation of Polynomial Amoebas. D. V. Bogdanov, Alexey A. Kytmanov, Timur M. Sadykov |
| 2016 | Computational Aspects of a Bound of Lagrange. Doru Stefanescu |
| 2016 | Computer Algebra in High-Energy Physics (Invited Talk). Thomas Hahn |
| 2016 | Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov |
| 2016 | Computing All Space Curve Solutions of Polynomial Systems by Polyhedral Methods. Nathan Bliss, Jan Verschelde |
| 2016 | Computing Characteristic Polynomials of Matrices of Structured Polynomials. Marshall Law, Michael B. Monagan |
| 2016 | Computing Sparse Representations of Systems of Rational Fractions. François Lemaire, Alexandre Temperville |
| 2016 | Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms. Madalina Erascu |
| 2016 | Enhancing the Extended Hensel Construction by Using Gröbner Bases. Tateaki Sasaki, Daiju Inaba |
| 2016 | Improved Computation of Involutive Bases. Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
| 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 | On Multiple Eigenvalues of a Matrix Dependent on a Parameter. Elizabeth A. Kalinina |
| 2016 | On the Differential and Full Algebraic Complexities of Operator Matrices Transformations. Sergei A. Abramov |
| 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 | Pruning Algorithms for Pretropisms of Newton Polytopes. Jeff Sommars, Jan Verschelde |
| 2016 | Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image. Kacper Pluta, Guillaume Moroz, Yukiko Kenmochi, Pascal Romon |
| 2016 | Qualitative Analysis of the Reyman - Semenov-Tian-Shansky Integrable Case of the Generalized Kowalewski Top. Valentin Irtegov, Tatiana Titorenko |
| 2016 | Resolving Decompositions for Polynomial Modules. Mario Albert, Werner M. Seiler |
| 2016 | Setup of Order Conditions for Splitting Methods. Winfried Auzinger, Wolfgang Herfort, Harald Hofstätter, Othmar Koch |
| 2016 | Sparse Gaussian Elimination Modulo p: An Update. Charles Bouillaguet, Claire Delaplace |
| 2016 | Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point Groups. A. A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Aleksandra Pedrak, A. Szulerecka, A. Dobrowolski |
| 2016 | Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators. Winfried Auzinger, Harald Hofstätter, Othmar Koch |
| 2016 | Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs of the Second Order: Multichannel Scattering and Eigenvalue Problems. Alexander Gusev, Vladimir P. Gerdt, Luong Le Hai, V. L. Derbov, Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar |
| 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 | The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. Matthew England, James H. Davenport |
| 2016 | Using Sparse Interpolation in Hensel Lifting. Michael B. Monagan, Baris Tuncer |