| 2014 | Relation Algebra, RelView, and Plurality Voting. | Rudolf Berghammer |
| 2014 | Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems. | Sergei A. Abramov, Moulay A. Barkatou |
| 2013 | Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Tunneling of Clusters through Repulsive Barriers. | Sergue I. Vinitsky, Alexander A. Gusev, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir L. Derbov, Pavel Krassovitskiy |
| 2013 | Stationary Points for the Family of Fermat-Torricelli-Coulomb-Like Potential Functions. | Alexei Yu. Uteshev, Marina V. Yashina |
| 2013 | Algebraic Attacks Using IP-Solvers. | Ehsan Ullah |
| 2013 | Construction of Classes of Irreducible Bivariate Polynomials. | Doru Stefanescu |
| 2013 | CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of 3D Navier-Stokes Equations. | Vasily P. Shapeev, Evgenii V. Vorozhtsov |
| 2013 | A Quantum Measurements Model of Hydrogen-Like Atoms in Maple. | Leonid A. Sevastianov, Alexander V. Zorin, Alexander Gorbachev |
| 2013 | Singularities of Implicit Differential Equations and Static Bifurcations. | Werner M. Seiler |
| 2013 | Applications of Symbolic Calculations and Polynomial Invariants to the Classification of Singularities of Differential Systems. | Dana Schlomiuk, Nicolae Vulpe |
| 2013 | A Note on Sekigawa's Zero Separation Bound. | Stefan Schirra |
| 2013 | Towards Industrial Application of Approximate Computer Algebra. | Tateaki Sasaki, Daiju Inaba, Fujio Kako |
| 2013 | A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations - Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients. | Markus Rosenkranz, Nalina Phisanbut |
| 2013 | A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. | Eugenio Roanes-Lozano, Eugenio Roanes-Macas |
| 2013 | Polynomial Evaluation and Interpolation and Transformations of Matrix Structures. | Victor Y. Pan |
| 2013 | Extended QRGCD Algorithm. | Kosaku Nagasaka, Takaaki Masui |
| 2013 | Automatic Parallel Library Generation for General-Size Modular FFT Algorithms. | Lingchuan Meng, Jeremy Johnson |
| 2013 | Generalized Bruhat Decomposition in Commutative Domains. | Gennadi I. Malaschonok |
| 2013 | Enumeration of Schur Rings over the Group A 5. | Mikhail H. Klin, Matan Ziv-Av |
| 2013 | Categories as Type Classes in the Scala Algebra System. | Raphael Jolly |
| 2013 | An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. | Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai |
| 2013 | On Stationary Sets of Euler's Equations on so(3, 1) and Their Stability. | Valentin Irtegov, Tatyana Titorenko |
| 2013 | Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics. | Sergey A. Gutnik, Vasily A. Sarychev |
| 2013 | Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator Interactions. | Alexander A. Gusev, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir L. Derbov, Andrzej Gzdz, Evgenii Klimov |
| 2013 | Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations. | Dima Grigoriev, Fritz Schwarz |