| 2009 | A Mathematica Package for Simulation of Quantum Computation. Vladimir P. Gerdt, Robert Kragler, Alexander N. Prokopenya |
| 2009 | A Mimetic Finite-Difference Scheme for Convection of Multicomponent Fluid in a Porous Medium. Vyacheslav Tsybulin, Andrew D. Nemtsev, Bülent Karasözen |
| 2009 | A Study on Gröbner Basis with Inexact Input. Kosaku Nagasaka |
| 2009 | A Symbolic Framework for Operations on Linear Boundary Problems. Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger |
| 2009 | Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation. Takuya Kitamoto |
| 2009 | Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. Jin-San Cheng, Xiao-Shan Gao, Jia Li |
| 2009 | An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy. Natasha Malaschonok |
| 2009 | Code Generation for Polynomial Multiplication. Ling Ding, Éric Schost |
| 2009 | Computer Algebra in Scientific Computing, 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2009 | Computing Gröbner Bases within Linear Algebra. Akira Suzuki |
| 2009 | Computing and Visualizing Closure Objects Using Relation Algebra and RelView. Rudolf Berghammer, Bernd Braßel |
| 2009 | Conditions of D-Stability of the Fifth-Order Matrices. Larisa A. Burlakova |
| 2009 | Discrete Dynamics: Gauge Invariance and Quantization. Vladimir V. Kornyak |
| 2009 | Effective Quantifier Elimination for Presburger Arithmetic with Infinity. Aless Lasaruk, Thomas Sturm |
| 2009 | Hybrid Solution of Two-Point Linear Boundary Value Problems. Maha Youssef, Gerd Baumann |
| 2009 | Involution and Difference Schemes for the Navier-Stokes Equations. Vladimir P. Gerdt, Yuri A. Blinkov |
| 2009 | Lazy and Forgetful Polynomial Arithmetic and Applications. Michael B. Monagan, Paul Vrbik |
| 2009 | Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra. Clarita Saldarriaga Vargas |
| 2009 | Modular Algorithms for Computing a Generating Set of the Syzygy Module. Masayuki Noro |
| 2009 | Multiple Factorizations of Bivariate Linear Partial Differential Operators. Ekaterina Shemyakova |
| 2009 | New Analytic Solutions of the Problem of Gas Flow in a Casing with Rotating Disc. Evgenii V. Vorozhtsov |
| 2009 | On Sergei A. Abramov, Moulay A. Barkatou, Denis E. Khmelnov |
| 2009 | On Computing the Hermite Form of a Matrix of Differential Polynomials. Mark Giesbrecht, Myung Sub Kim |
| 2009 | On Integrability of a Planar ODE System Near a Degenerate Stationary Point. Alexander D. Bruno, Victor F. Edneral |
| 2009 | On Invariant Manifolds of Dynamical Systems in Lie Algebras. Valentin Irtegov, Tatyana Titorenko |
| 2009 | On the Average Growth Rate of Random Compositions of Fibonacci and Padovan Recurrences. Nikita Gogin, Aleksandr Mylläri |
| 2009 | On the Complexity of Reliable Root Approximation. Michael Kerber |
| 2009 | On the Computation of Comprehensive Boolean Gröbner Bases. Shutaro Inoue |
| 2009 | Parametric Analysis of Stability Conditions for a Satellite with Gyrodines. Andrey V. Banshchikov |
| 2009 | Solving Structured Polynomial Systems and Applications to Cryptology. Jean-Charles Faugère |
| 2009 | Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity. Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, A. A. Gusev, V. A. Rostovtsev |
| 2009 | The Comparison Method of Physical Quantity Dimensionalities. Alexander V. Flegontov, M. J. Marusina |