| 2015 | A New Approach for Computing Regular Solutions of Linear Difference Systems. Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha |
| 2015 | A New Polynomial Bound and Its Efficiency. Doru Stefanescu |
| 2015 | A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve. Parisa Alvandi, Marc Moreno Maza, Éric Schost, Paul Vrbik |
| 2015 | Algebraic General Solutions of First Order Algebraic ODEs. Ngoc Thieu Vo, Franz Winkler |
| 2015 | Analysis of Reaction Network Systems Using Tropical Geometry. Satya Swarup Samal, Dima Grigoriev, Holger Fröhlich, Ovidiu Radulescu |
| 2015 | Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite. Sergey A. Gutnik, Anna Guerman, Vasily A. Sarychev |
| 2015 | Approximate Quantum Fourier Transform and Quantum Algorithm for Phase Estimation. Alexander N. Prokopenya |
| 2015 | Automated Reasoning in Reduction Rings Using the Theorema System. Alexander Maletzky |
| 2015 | Bounds for the Condition Number of Polynomials Systems with Integer Coefficients - (Invited Talk). Aaron Herman, Elias P. Tsigaridas |
| 2015 | Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov |
| 2015 | Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations. Dima Grigoriev, Fritz Schwarz |
| 2015 | Distance Evaluation Between an Ellipse and an Ellipsoid. Alexei Yu. Uteshev, Marina V. Yashina |
| 2015 | Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases. Katsusuke Nabeshima, Shinichi Tajima |
| 2015 | Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. François Boulier, François Lemaire |
| 2015 | Homotopy Analysis Method for Stochastic Differential Equations with Maxima. Maciej Janowicz, Joanna Kaleta, Filip Krzyzewski, Marian Rusek, Arkadiusz Orlowski |
| 2015 | Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients. Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko |
| 2015 | Janet Bases and Resolutions in CoCoALib. Mario Albert, Matthias Fetzer, Werner M. Seiler |
| 2015 | On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields. Valentin Irtegov, Tatiana Titorenko |
| 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 | On the Topology and Visualization of Plane Algebraic Curves. Kai Jin, Jin-San Cheng, Xiao-Shan Gao |
| 2015 | Parametric Solvable Polynomial Rings and Applications. Heinz Kredel |
| 2015 | Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data. Ryszard Kozera, Lyle Noakes |
| 2015 | Polynomial Complexity Recognizing a Tropical Linear Variety. Dima Grigoriev |
| 2015 | Polynomial Real Root Isolation by Means of Root Radii Approximation. Victor Y. Pan, Liang Zhao |
| 2015 | Quasi-Steady State - Intuition, Perturbation Theory and Algorithmic Algebra. Alexandra Goeke, Sebastian Walcher, Eva Zerz |
| 2015 | Randomized Circulant and Gaussian Pre-processing. Victor Y. Pan, Liang Zhao |
| 2015 | Regular Chains under Linear Changes of Coordinates and Applications. Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza |
| 2015 | Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical Modelling. Andrei V. Banshchikov |
| 2015 | Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. Zhikun She, Dan Song, Meilun Li |
| 2015 | Simplification of Cylindrical Algebraic Formulas. Changbo Chen, Marc Moreno Maza |
| 2015 | Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation. Nathan Bliss, Jeff Sommars, Jan Verschelde, Xiangcheng Yu |
| 2015 | Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group. A. A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Aleksandra Pedrak |
| 2015 | Symbolic Computation and Finite Element Methods - (Invited Talk). Veronika Pillwein |
| 2015 | Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Using the Finite Element Method: Scattering Problem and Resonance States. Alexander Gusev, Luong Le Hai, Ochbadrakh Chuluunbaatar, Vandandoo Ulziibayar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Vitaly Rostovtsev |
| 2015 | Triangular Decomposition of Matrices in a Domain. Gennadi I. Malaschonok, Anton Scherbinin |
| 2015 | Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger |