| 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 | Bounds for the Condition Number of Polynomials Systems with Integer Coefficients - (Invited Talk). | Aaron Herman, Elias P. Tsigaridas |
| 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 | Symbolic-Numeric Solution of Boundary-Value Problems for the Schrdinger Equation Using the Finite Element Method: Scattering Problem and Resonance States. | Alexander A. Gusev, Luong Le Hai, Ochbadrakh Chuluunbaatar, Vandandoo Ulziibayar, Sergey I. Vinitsky, Vladimir L. Derbov, Andrzej Gzdz, Vitaly Rostovtsev |
| 2015 | Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group. | Alexander A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, Vladimir L. Derbov, Andrzej Gzdz, Aleksandra Pedrak |
| 2015 | Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations. | Dima Grigoriev, Fritz Schwarz |
| 2015 | Polynomial Complexity Recognizing a Tropical Linear Variety. | Dima Grigoriev |
| 2015 | Quasi-Steady State - Intuition, Perturbation Theory and Algorithmic Algebra. | Alexandra Goeke, Sebastian Walcher, Eva Zerz |
| 2015 | Simplification of Cylindrical Algebraic Formulas. | Changbo Chen, Marc Moreno Maza |
| 2015 | Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. | Franois Boulier, Franois Lemaire |
| 2015 | Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation. | Nathan Bliss, Jeff Sommars, Jan Verschelde, Xiangcheng Yu |
| 2015 | A New Approach for Computing Regular Solutions of Linear Difference Systems. | Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha |
| 2015 | Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical Modelling. | Andrei V. Banshchikov |
| 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 | Regular Chains under Linear Changes of Coordinates and Applications. | Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza |
| 2015 | Janet Bases and Resolutions in CoCoALib. | Mario Albert, Matthias Fetzer, Werner M. Seiler |
| 2015 | Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients. | Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko |
| 2014 | Enumeration of Schur Rings Over Small Groups. | Matan Ziv-Av |
| 2014 | Symbolic-Numeric Algorithm for Solving the Problem of Quantum Tunneling of a Diatomic Molecule through Repulsive Barriers. | Sergue I. Vinitsky, Alexander A. Gusev, Ochbadrakh Chuluunbaatar, Luong Le Hai, Andrzej Gzdz, Vladimir L. Derbov, Pavel Krassovitskiy |
| 2014 | Applications of the Newton Index to the Construction of Irreducible Polynomials. | Doru Stefanescu |
| 2014 | An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class. | Takafumi Shibuta, Shinichi Tajima |
| 2014 | CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of the Burgers and Korteweg-de Vries-Burgers Equations. | Vasily P. Shapeev, Evgenii V. Vorozhtsov |
| 2014 | Analytical Calculations in Maple to Implement the Method of Adiabatic Modes for Modelling Smoothly Irregular Integrated Optical Waveguide Structures. | Leonid A. Sevastyanov, Anton L. Sevastyanov, Anastasiya A. Tyutyunnik |
| 2014 | Solving Parametric Sparse Linear Systems by Local Blocking. | Tateaki Sasaki, Daiju Inaba, Fujio Kako |
| 2014 | Factoring Sparse Bivariate Polynomials Using the Priority Queue. | Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel |