| 2016 | Algorithmic Computation of Polynomial Amoebas. | D. V. Bogdanov, Alexey A. Kytmanov, Timur M. Sadykov |
| 2016 | Computing All Space Curve Solutions of Polynomial Systems by Polyhedral Methods. | Nathan Bliss, Jan Verschelde |
| 2016 | Improved Computation of Involutive Bases. | Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
| 2016 | Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators. | Winfried Auzinger, Harald Hofsttter, Othmar Koch |
| 2016 | Setup of Order Conditions for Splitting Methods. | Winfried Auzinger, Wolfgang Herfort, Harald Hofsttter, Othmar Koch |
| 2016 | Resolving Decompositions for Polynomial Modules. | Mario Albert, Werner M. Seiler |
| 2016 | On the Differential and Full Algebraic Complexities of Operator Matrices Transformations. | Sergei A. Abramov |
| 2015 | Algebraic General Solutions of First Order Algebraic ODEs. | Ngoc Thieu Vo, Franz Winkler |
| 2015 | Distance Evaluation Between an Ellipse and an Ellipsoid. | Alexei Yu. Uteshev, Marina V. Yashina |
| 2015 | A New Polynomial Bound and Its Efficiency. | Doru Stefanescu |
| 2015 | Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. | Zhikun She, Dan Song, Meilun Li |
| 2015 | Analysis of Reaction Network Systems Using Tropical Geometry. | Satya Swarup Samal, Dima Grigoriev, Holger Frhlich, Ovidiu Radulescu |
| 2015 | Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. | Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger |
| 2015 | Approximate Quantum Fourier Transform and Quantum Algorithm for Phase Estimation. | Alexander N. Prokopenya |
| 2015 | Symbolic Computation and Finite Element Methods - (Invited Talk). | Veronika Pillwein |
| 2015 | Randomized Circulant and Gaussian Pre-processing. | Victor Y. Pan, Liang Zhao |
| 2015 | Polynomial Real Root Isolation by Means of Root Radii Approximation. | Victor Y. Pan, Liang Zhao |
| 2015 | Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases. | Katsusuke Nabeshima, Shinichi Tajima |
| 2015 | On the Partial Analytical Solution of the Kirchhoff Equation. | Dominik Ludewig Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Gerrit Alexander Sobottka, Andreas G. Weber |
| 2015 | Automated Reasoning in Reduction Rings Using the Theorema System. | Alexander Maletzky |
| 2015 | Triangular Decomposition of Matrices in a Domain. | Gennadi I. Malaschonok, Anton Scherbinin |
| 2015 | Parametric Solvable Polynomial Rings and Applications. | Heinz Kredel |
| 2015 | Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data. | Ryszard Kozera, Lyle Noakes |
| 2015 | On the Topology and Visualization of Plane Algebraic Curves. | Kai Jin, Jin-San Cheng, Xiao-Shan Gao |
| 2015 | Homotopy Analysis Method for Stochastic Differential Equations with Maxima. | Maciej Janowicz, Joanna Kaleta, Filip Krzyzewski, Marian Rusek, Arkadiusz Orlowski |