9. CASC 2006: Chisinau, Moldova

• V. Álvarez, J. A. Armario, M. D. Frau, P. Real:
  Comparison Maps for Relatively Free Resolutions. 1-22
  Electronic Edition (link) BibTeX
• I. N. Belyaeva, N. A. Chekanov, Alexander Gusev, Vitaly Rostovtsev, Sergey I. Vinitsky:
  A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation. 23-32
  Electronic Edition (link) BibTeX
• Ainhoa Berciano, María José Jiménez, Pedro Real:
  Reducing Computational Costs in the Basic Perturbation Lemma. 33-48
  Electronic Edition (link) BibTeX
• Rudolf Berghammer:
  Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. 49-63
  Electronic Edition (link) BibTeX
• Marco Bodrato, Alberto Zanoni:
  Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study. 64-76
  Electronic Edition (link) BibTeX
• V. P. Borunov, Yu. A. Ryabov, O. V. Surkov:
  Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem. 77-88
  Electronic Edition (link) BibTeX
• Christopher W. Brown, Christian Gross:
  Efficient Preprocessing Methods for Quantifier Elimination. 89-100
  Electronic Edition (link) BibTeX
• A. Casian, R. Dusciac, V. Dusciac, V. Patsiuk:
  Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals. 101-108
  Electronic Edition (link) BibTeX
• Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov:
  On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions. 109-128
  Electronic Edition (link) BibTeX
• Svetlana Cojocaru, Ludmila Malahova, Alexander Colesnicov:
  Providing Modern Software Environments to Computer Algebra Systems. 129-140
  Electronic Edition (link) BibTeX
• D. Diarova, N. I. Zemtsova:
  The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem. 141-148
  Electronic Edition (link) BibTeX
• Jesús Gago-Vargas, Maria Isabel Hartillo-Hermoso, Jose Maria Ucha-Enríquez:
  Algorithmic Invariants for Alexander Modules. 149-154
  Electronic Edition (link) BibTeX
• Jesús Gago-Vargas, Maria Isabel Hartillo-Hermoso, Jorge Martín-Morales, Jose Maria Ucha-Enríquez:
  Sudokus and Gröbner Bases: Not Only a Divertimento. 155-165
  Electronic Edition (link) BibTeX
• Rocío González-Díaz, Belén Medrano, Javier Sánchez-Peláez, Pedro Real:
  Simplicial Perturbation Techniques and Effective Homology. 166-177
  Electronic Edition (link) BibTeX
• E. A. Grebenicov, D. Kozak-Skoworodkin, D. M. Diarova:
  Numerical Study of Stability Domains of Hamiltonian Equation Solutions. 178-191
  Electronic Edition (link) BibTeX
• Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya:
  Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem. 192-204
  Electronic Edition (link) BibTeX
• Alexander Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergey I. Vinitsky:
  A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field. 205-218
  Electronic Edition (link) BibTeX
• Jaime Gutierrez, David Sevilla:
  On Decomposition of Tame Polynomials and Rational Functions. 219-226
  Electronic Edition (link) BibTeX
• Isroil A. Ikromov, Akhmadjon Soleev:
  Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases. 227-239
  Electronic Edition (link) BibTeX
• Vladimir V. Kornyak:
  Cellular Automata with Symmetric Local Rules. 240-250
  Electronic Edition (link) BibTeX
• Natasha Malaschonok:
  Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations. 251-260
  Electronic Edition (link) BibTeX
• Alexander Semenov:
  On Connection Between Constructive Involutive Divisions and Monomial Orderings. 261-278
  Electronic Edition (link) BibTeX
• Gerrit Sobottka, Andreas Weber:
  A Symbolic-Numeric Approach to Tube Modeling in CAD Systems. 279-283
  Electronic Edition (link) BibTeX
• Doru Stefanescu:
  Inequalities on Upper Bounds for Real Polynomial Roots. 284-294
  Electronic Edition (link) BibTeX
• Thomas Sturm:
  New Domains for Applied Quantifier Elimination. 295-301
  Electronic Edition (link) BibTeX
• Stephen M. Watt:
  Algorithms for Symbolic Polynomials. 302
  Electronic Edition (link) BibTeX
• Song Y. Yan, Glyn James:
  Testing Mersenne Primes with Elliptic Curves. 303-312
  Electronic Edition (link) BibTeX