| 2005 | Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System. | Leonid Semin, Vasily P. Shapeev |
| 2005 | The Diamond Operator - Implementation of Exact Real Algebraic Numbers. | Susanne Schmitt |
| 2005 | Untitled record | Eugenio Roanes-Lozano, R. Garca, Eugenio Roanes-Macas, Alfredo Aparicio Yage, Luis M. Laita |
| 2005 | Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. | David G. Richardson, Werner Krandick |
| 2005 | Towards More Accurate Separation Bounds of Empirical Polynomials II. | Kosaku Nagasaka |
| 2005 | Fast Verification for Respective Eigenvalues of Symmetric Matrix. | Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi |
| 2005 | Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices. | Christos Kravvaritis, Marilena Mitrouli, Jennifer Seberry |
| 2005 | Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems. | Christos Koukouvinos, E. Lappas |
| 2005 | On Compatibility of Discrete Relations. | Vladimir V. Kornyak |
| 2005 | On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid. | Valentin Irtegov, Tatyana Titorenko |
| 2005 | Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrdinger Equation by Split-Operator Method. | Alexander A. Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Yoshio Uwano, Sergey I. Vinitsky |
| 2005 | Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem. | E. A. Grebenicov, Dorota Kozak-Skoworodkin, M. Jakubiak |
| 2005 | Hilbert Stratification and Parametric Grbner Bases. | Laureano Gonzlez-Vega, Carlo Traverso, Alberto Zanoni |
| 2005 | Algebraic Topological Analysis of Time-Sequence of Digital Images. | Roco Gonzlez-Daz, Beln Medrano, Pedro Real, Javier Snchez-Pelez |
| 2005 | Circulant Digraphs and Monomial Ideals. | Domingo Gmez-Prez, Jaime Gutierrez, lvar Ibeas |
| 2005 | Janet-Like Grbner Bases. | Vladimir P. Gerdt, Yuri A. Blinkov |
| 2005 | Janet-Like Monomial Division. | Vladimir P. Gerdt, Yuri A. Blinkov |
| 2005 | Untitled record | Jess Gago-Vargas, Mara Isabel Hartillo-Hermoso, Jos Mara Ucha-Enrquez |
| 2005 | Real Solving of Bivariate Polynomial Systems. | Ioannis Z. Emiris, Elias P. Tsigaridas |
| 2005 | A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. | Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert |
| 2005 | Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials. | Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair |
| 2005 | Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots. | Dmytro Chibisov, Victor G. Ganzha, Sergey Pankratov, Christoph Zenger |
| 2005 | Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time. | Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2005 | Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion. | Carlo Cattani, Evgenii A. Grebenikov, Alexander N. Prokopenya |
| 2005 | Resultant-Based Methods for Plane Curves Intersection Problems. | Laurent Bus, Houssam Khalil, Bernard Mourrain |