| 2013 | A Note on Sekigawa's Zero Separation Bound. Stefan Schirra |
| 2013 | A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. Eugenio Roanes-Lozano, Eugenio Roanes-Macías |
| 2013 | A Quantum Measurements Model of Hydrogen-Like Atoms in Maple. Leonid A. Sevastianov, Alexander V. Zorin, Alexander Gorbachev |
| 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 | Algebraic Attacks Using IP-Solvers. Ehsan Ullah |
| 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 | Applications of Symbolic Calculations and Polynomial Invariants to the Classification of Singularities of Differential Systems. Dana Schlomiuk, Nicolae Vulpe |
| 2013 | Automatic Parallel Library Generation for General-Size Modular FFT Algorithms. Lingchuan Meng, Jeremy Johnson |
| 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 | Categories as Type Classes in the Scala Algebra System. Raphael Jolly |
| 2013 | Complexity in Tropical Algebra (Invited Talk). Dima Grigoriev |
| 2013 | Computer Algebra in Scientific Computing - 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2013 | Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations. Dima Grigoriev, Fritz Schwarz |
| 2013 | Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. Parisa Alvandi, Changbo Chen, Marc Moreno Maza |
| 2013 | Construction of Classes of Irreducible Bivariate Polynomials. Doru Stefanescu |
| 2013 | Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber |
| 2013 | Enumeration of Schur Rings over the Group A 5. Mikhail H. Klin, Matan Ziv-Av |
| 2013 | Extended QRGCD Algorithm. Kosaku Nagasaka, Takaaki Masui |
| 2013 | Faster Sparse Interpolation of Straight-Line Programs. Andrew Arnold, Mark Giesbrecht, Daniel S. Roche |
| 2013 | From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk). Andreas Griewank |
| 2013 | Generalized Bruhat Decomposition in Commutative Domains. Gennadi I. Malaschonok |
| 2013 | Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-Core Systems. Mickaël Gastineau, Jacques Laskar |
| 2013 | On Consistency of Finite Difference Approximations to the Navier-Stokes Equations. Pierluigi Amodio, Yuri A. Blinkov, Vladimir P. Gerdt, Roberto La Scala |
| 2013 | On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the Parameter. Alexander D. Bruno, Victor F. Edneral |
| 2013 | On Stationary Sets of Euler's Equations on so(3, 1) and Their Stability. Valentin Irtegov, Tatyana Titorenko |
| 2013 | On the Dimension of Solution Spaces of Full Rank Linear Differential Systems. Sergei A. Abramov, Moulay A. Barkatou |
| 2013 | Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots Problem. Danko Adrovic, Jan Verschelde |
| 2013 | Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees. Dima Grigoriev |
| 2013 | Polynomial Evaluation and Interpolation and Transformations of Matrix Structures. Victor Y. Pan |
| 2013 | Simulation of Quantum Error Correction with Mathematica. Vladimir P. Gerdt, Alexander N. Prokopenya |
| 2013 | Singularities of Implicit Differential Equations and Static Bifurcations. Werner M. Seiler |
| 2013 | Stationary Points for the Family of Fermat-Torricelli-Coulomb-Like Potential Functions. Alexei Yu. Uteshev, Marina V. Yashina |
| 2013 | Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator Interactions. Alexander Gusev, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov, Andrzej Gózdz, Evgenii Klimov |
| 2013 | Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Tunneling of Clusters through Repulsive Barriers. Sergue I. Vinitsky, Alexander Gusev, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov, Pavel Krassovitskiy |
| 2013 | Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics. Sergey A. Gutnik, Vasily A. Sarychev |
| 2013 | Towards Industrial Application of Approximate Computer Algebra. Tateaki Sasaki, Daiju Inaba, Fujio Kako |