| 2009 | A Mimetic Finite-Difference Scheme for Convection of Multicomponent Fluid in a Porous Medium. | Vyacheslav Tsybulin, Andrew D. Nemtsev, Blent Karaszen |
| 2009 | Computing Grbner Bases within Linear Algebra. | Akira Suzuki |
| 2009 | Multiple Factorizations of Bivariate Linear Partial Differential Operators. | Ekaterina Shemyakova |
| 2009 | A Symbolic Framework for Operations on Linear Boundary Problems. | Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger |
| 2009 | Modular Algorithms for Computing a Generating Set of the Syzygy Module. | Masayuki Noro |
| 2009 | A Study on Grbner Basis with Inexact Input. | Kosaku Nagasaka |
| 2009 | Lazy and Forgetful Polynomial Arithmetic and Applications. | Michael B. Monagan, Paul Vrbik |
| 2009 | An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy. | Natasha Malaschonok |
| 2009 | Effective Quantifier Elimination for Presburger Arithmetic with Infinity. | Aless Lasaruk, Thomas Sturm |
| 2009 | Discrete Dynamics: Gauge Invariance and Quantization. | Vladimir V. Kornyak |
| 2009 | Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation. | Takuya Kitamoto |
| 2009 | On the Complexity of Reliable Root Approximation. | Michael Kerber |
| 2009 | On Invariant Manifolds of Dynamical Systems in Lie Algebras. | Valentin Irtegov, Tatyana Titorenko |
| 2009 | On the Computation of Comprehensive Boolean Grbner Bases. | Shutaro Inoue |
| 2009 | On the Average Growth Rate of Random Compositions of Fibonacci and Padovan Recurrences. | Nikita Gogin, Aleksandr Myllri |
| 2009 | On Computing the Hermite Form of a Matrix of Differential Polynomials. | Mark Giesbrecht, Myung Sub Kim |
| 2009 | A Mathematica Package for Simulation of Quantum Computation. | Vladimir P. Gerdt, Robert Kragler, Alexander N. Prokopenya |
| 2009 | Involution and Difference Schemes for the Navier-Stokes Equations. | Vladimir P. Gerdt, Yuri A. Blinkov |
| 2009 | The Comparison Method of Physical Quantity Dimensionalities. | Alexander V. Flegontov, M. J. Marusina |
| 2009 | Solving Structured Polynomial Systems and Applications to Cryptology. | Jean-Charles Faugre |
| 2009 | Code Generation for Polynomial Multiplication. | Ling Ding, ric Schost |
| 2009 | Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. | Jin-San Cheng, Xiao-Shan Gao, Jia Li |
| 2009 | Conditions of D-Stability of the Fifth-Order Matrices. | Larisa A. Burlakova |
| 2009 | On Integrability of a Planar ODE System Near a Degenerate Stationary Point. | Alexander D. Bruno, Victor F. Edneral |
| 2009 | Computing and Visualizing Closure Objects Using Relation Algebra and RelView. | Rudolf Berghammer, Bernd Brael |