| 2005 | A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert |
| 2005 | A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method. I. N. Belyaeva, Nikolai A. Chekanov, Alexander Gusev, V. A. Rostovtsev, Yu. A. Ukolov, Yoshio Uwano, Sergey I. Vinitsky |
| 2005 | A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods. Liu Shu, Andreas Weber |
| 2005 | Algebraic Topological Analysis of Time-Sequence of Digital Images. Rocío González-Díaz, Belén Medrano, Pedro Real, Javier Sánchez-Peláez |
| 2005 | Algorithm of Local Resolution of Singularities of a Space Curve. Akhmadjon Soleev |
| 2005 | Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate. Serguey Zemskov |
| 2005 | Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials. Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair |
| 2005 | Circulant Digraphs and Monomial Ideals. Domingo Gómez-Pérez, Jaime Gutierrez, Álvar Ibeas |
| 2005 | Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. David G. Richardson, Werner Krandick |
| 2005 | Computation of Full Comprehensive Gröbner Bases. Akira Suzuki |
| 2005 | Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots. Dmytro Chibisov, Victor G. Ganzha, Sergey Pankratov, Christoph Zenger |
| 2005 | Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2005 | Computing the Betti Numbers of Arrangements in Practice. Saugata Basu, Michael Kettner |
| 2005 | Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System. Leonid Semin, Vasily P. Shapeev |
| 2005 | Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems. Christos Koukouvinos, E. Lappas |
| 2005 | Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices. Christos Kravvaritis, Marilena Mitrouli, Jennifer Seberry |
| 2005 | Differential and Difference Equations for Products of Classical Orthogonal Polynomials. Sergey Slavyanov, Vladimir Papshev |
| 2005 | Fast Verification for Respective Eigenvalues of Symmetric Matrix. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi |
| 2005 | Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time. Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2005 | Hilbert Stratification and Parametric Gröbner Bases. Laureano González-Vega, Carlo Traverso, Alberto Zanoni |
| 2005 | Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems. S. Yu. Vernov |
| 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 | Janet-Like Gröbner Bases. Vladimir P. Gerdt, Yuri A. Blinkov |
| 2005 | Janet-Like Monomial Division. Vladimir P. Gerdt, Yuri A. Blinkov |
| 2005 | Nonlinear Waves in a Rod. Alexander Shermenev |
| 2005 | Normal Forms and Integrability of ODE Systems. Alexander D. Bruno, Victor F. Edneral |
| 2005 | On Compatibility of Discrete Relations. Vladimir V. Kornyak |
| 2005 | On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems. Sergei A. Abramov, Manuel Bronstein, Denis E. Khmelnov |
| 2005 | On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid. Valentin Irtegov, Tatyana Titorenko |
| 2005 | On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups. Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro |
| 2005 | Quantifier Elimination for Constraint Logic Programming. Thomas Sturm |
| 2005 | Real Solving of Bivariate Polynomial Systems. Ioannis Z. Emiris, Elias P. Tsigaridas |
| 2005 | Recursive Polynomial Remainder Sequence and the Nested Subresultants. Akira Terui |
| 2005 | RelView - An OBDD-Based Computer Algebra System for Relations. Rudolf Berghammer, Frank Neumann |
| 2005 | Resultant-Based Methods for Plane Curves Intersection Problems. Laurent Busé, Houssam Khalil, Bernard Mourrain |
| 2005 | Solving Linear Differential Problems with Parameters. Volker Weispfenning |
| 2005 | Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion. Carlo Cattani, Evgenii A. Grebenikov, Alexander N. Prokopenya |
| 2005 | Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrödinger Equation by Split-Operator Method. Alexander Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Yoshio Uwano, Sergey I. Vinitsky |
| 2005 | The Diamond Operator - Implementation of Exact Real Algebraic Numbers. Susanne Schmitt |
| 2005 | Towards More Accurate Separation Bounds of Empirical Polynomials II. Kosaku Nagasaka |