| 2001 | "Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras. María José Jiménez, Pedro Real |
| 2001 | A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems. Raya Khanin |
| 2001 | A Method of Logic Deduction and Verification in KBS Using Positive Integers. Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita |
| 2001 | A MuPAD Library for Differential Equations. Jay Belanger, Marcus Hausdorf, Werner M. Seiler |
| 2001 | A New Algorithm for Computing Cohomologies of Lie Superalgebras. Vladimir V. Kornyak |
| 2001 | A New Combinatorial Algorithm for Large Markov Chains (Extended Abstract). Anna Gambin, Piotr Pokarowski |
| 2001 | Algebraic Identification Algorithm and Application to Dynamical Systems. Farida Benmakrouha, Christiane Hespel, Gérard Jacob, Edouard Monnier |
| 2001 | Algebraic Methods for Sectioning Parametric Surfaces. Jesus Espinola, Laureano González-Vega, Ioana Necula |
| 2001 | Algebraic Predicates for Empirical Data. Hans J. Stetter |
| 2001 | An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations. Joachim Engelmann, Gerd Baumann |
| 2001 | Application of Computer Algebra for Investigation of Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas. Vasiliy V. Bublik |
| 2001 | Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System. Victor F. Edneral |
| 2001 | Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001. Victor G. Ganzha, Ernst Wilhelm Mayr, Evgenii V. Vorozhtsov |
| 2001 | Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloys. Thomas Bayer |
| 2001 | Conservative Finite Difference Schemes for Cosymmetric Systems. Bülent Karasözen, Vyacheslav Tsybulin |
| 2001 | Construction of Janet Bases I. Monomial Bases. Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich |
| 2001 | Construction of Janet Bases II. Polynomial Bases. Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich |
| 2001 | Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery. Francisco Botana, José L. Valcarce |
| 2001 | Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals. Valentin Irtegov, Tatyana Titorenko |
| 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 Südland, Gerd Baumann, Theo F. Nonnenmacher |
| 2001 | GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing. Victor G. Ganzha, Dmytro Chibisov, Evgenii V. Vorozhtsov |
| 2001 | Invariants of Finite Groups and Involutive Division. C. F. Cid, Wilhelm Plesken |
| 2001 | Jets. A Maple-Package for Formal Differential Geometry. Mohamed Barakat |
| 2001 | Low-Dimensional Quasi-Filiform Lie Algebras with Great Length. J. R. Gómez, A. Jiménez-Merchán, J. Reyes |
| 2001 | Mathematica and Nilpotent Lie Superalgebras. Luisa M. Camacho, J. R. Gómez, Rosa M. Navarro, I. Rodríguez |
| 2001 | Neighborhoods of an Ordinary Linear Differential Equation. Giuseppa Carrà Ferro, Valentina Marotta |
| 2001 | On the Stability of Steady Motions of Solar-Sail Satellite. Larissa Bourlakova |
| 2001 | Parallel Computing with Mathematica. Roman E. Mäder |
| 2001 | Parametric G1-Blending of Several Surfaces. Sonia Pérez-Díaz, Juan Rafael Sendra |
| 2001 | Parametric Systems of Linear Congruences. Andreas Dolzmann, Thomas Sturm |
| 2001 | Perturbation versus Differentiation Indices. Marcus Hausdorf, Werner M. Seiler |
| 2001 | Progressive Long Waves on a Slope (A New Solution to the Euler Equation?). Alexander Shermenev |
| 2001 | Recurrence Functions and Numerical Characteristics of Graphs. Gani E. Ergashev, Ulugbek H. Narzullaev |
| 2001 | Representing Graph Properties by Polynomial Ideals. Michal Mnuk |
| 2001 | SYMOPT: Symbolic Parametric Mathematical Programming. Isolde Mazzucco |
| 2001 | Semilinear Motion Planning Among Moving Objects in REDLOG. Volker Weispfenning |
| 2001 | Solution of Systems of Linear Diophantine Equations. Gennadi I. Malaschonok |
| 2001 | Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge. Alexander Gusev, Valentin Samoylov, Vitaly Rostovtsev, Sergey I. Vinitsky |
| 2001 | Symbolic Computation and Boundary Conditions for the Wave Equation. Alan Stanton Deakin, H. Rasmussen |
| 2001 | The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms. Akhmadjon Soleev, Adizjon S. Barotov |
| 2001 | The Methods of Computer Algebra and the Arnold-Moser Theorem. Evgenii A. Grebenikov |