| 2007 | Deducing the Constraints in the Light-Cone | Vladimir P. Gerdt, Arsen Khvedelidze, Yuri Palii |
| 2007 | Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory. | Stephan Fritzsche |
| 2007 | An Algorithm for Construction of Normal Forms. | Victor F. Edneral |
| 2007 | On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application. | Anna Deytseva |
| 2007 | A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates. | Ochbadrakh Chuluunbaatar, Alexander A. Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergey I. Vinitsky |
| 2007 | Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations. | Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2007 | Comprehensive Triangular Decomposition. | Changbo Chen, Oleg Golubitsky, Franois Lemaire, Marc Moreno Maza, Wei Pan |
| 2007 | Algebraic Visualization of Relations Using RelView. | Rudolf Berghammer, Gunther Schmidt |
| 2007 | On the Computation of | Ainhoa Berciano, Mara Jos Jimnez, Pedro Real |
| 2007 | An Efficient LLL Gram Using Buffered Transformations. | Werner Backes, Susanne Wetzel |
| 2007 | Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds. | Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas |
| 2007 | Computations in Modules over Commutative Domains. | Alkiviadis G. Akritas, Gennadi I. Malaschonok |
| 2007 | Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation. | Sergei A. Abramov, Marko Petkovsek |
| 2006 | Testing Mersenne Primes with Elliptic Curves. | Song Y. Yan, Glyn James |
| 2006 | Algorithms for Symbolic Polynomials. | Stephen M. Watt |
| 2006 | New Domains for Applied Quantifier Elimination. | Thomas Sturm |
| 2006 | Inequalities on Upper Bounds for Real Polynomial Roots. | Doru Stefanescu |
| 2006 | A Symbolic-Numeric Approach to Tube Modeling in CAD Systems. | Gerrit Sobottka, Andreas Weber |
| 2006 | On Connection Between Constructive Involutive Divisions and Monomial Orderings. | Alexander Semenov |
| 2006 | Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations. | Natasha Malaschonok |
| 2006 | Cellular Automata with Symmetric Local Rules. | Vladimir V. Kornyak |
| 2006 | Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases. | Isroil A. Ikromov, Akhmadjon Soleev |
| 2006 | On Decomposition of Tame Polynomials and Rational Functions. | Jaime Gutierrez, David Sevilla |
| 2006 | A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field. | Alexander A. Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergey I. Vinitsky |
| 2006 | Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem. | Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya |