| 2005 | Normal Forms and Integrability of ODE Systems. | Alexander D. Bruno, Victor F. Edneral |
| 2005 | On the Use of Grbner Bases for Computing the Structure of Finite Abelian Groups. | Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martnez-Moro |
| 2005 | RelView - An OBDD-Based Computer Algebra System for Relations. | Rudolf Berghammer, Frank Neumann |
| 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 A. Gusev, V. A. Rostovtsev, Yu. A. Ukolov, Yoshio Uwano, Sergey I. Vinitsky |
| 2005 | Computing the Betti Numbers of Arrangements in Practice. | Saugata Basu, Michael Kettner |
| 2005 | On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems. | Sergei A. Abramov, Manuel Bronstein, Denis E. Khmelnov |
| 2001 | Semilinear Motion Planning Among Moving Objects in REDLOG. | Volker Weispfenning |
| 2001 | Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space. | Serguei P. Tsarev |
| 2001 | Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients. | Norbert Sdland, Gerd Baumann, Theo F. Nonnenmacher |
| 2001 | Algebraic Predicates for Empirical Data. | Hans J. Stetter |
| 2001 | The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms. | Akhmadjon Soleev, Adizjon S. Barotov |
| 2001 | Progressive Long Waves on a Slope (A New Solution to the Euler Equation?). | Alexander Shermenev |
| 2001 | A Method of Logic Deduction and Verification in KBS Using Positive Integers. | Eugenio Roanes-Lozano, Eugenio Roanes-Macas, Luis M. Laita |
| 2001 | Parametric G1-Blending of Several Surfaces. | Sonia Prez-Daz, Juan Rafael Sendra |
| 2001 | Representing Graph Properties by Polynomial Ideals. | Michal Mnuk |
| 2001 | SYMOPT: Symbolic Parametric Mathematical Programming. | Isolde Mazzucco |
| 2001 | Solution of Systems of Linear Diophantine Equations. | Gennadi I. Malaschonok |
| 2001 | Parallel Computing with Mathematica. | Roman E. Mder |
| 2001 | A New Algorithm for Computing Cohomologies of Lie Superalgebras. | Vladimir V. Kornyak |
| 2001 | A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems. | Raya Khanin |
| 2001 | Conservative Finite Difference Schemes for Cosymmetric Systems. | Blent Karaszen, Vyacheslav Tsybulin |
| 2001 | "Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras. | Mara Jos Jimnez, Pedro Real |
| 2001 | Employment of the Grbner Bases in Analysis of Systems Having Algebraic First Integrals. | Valentin Irtegov, Tatyana Titorenko |
| 2001 | Perturbation versus Differentiation Indices. | Marcus Hausdorf, Werner M. Seiler |
| 2001 | Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge. | Alexander A. Gusev, Valentin Samoylov, Vitaly Rostovtsev, Sergey I. Vinitsky |