8. CASC 2005: Kalamata, Greece

• Sergei A. Abramov, Manuel Bronstein, D. E. Khmelnov:
  On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems. 1-12
  
• Saugata Basu, Michael Kettner:
  Computing the Betti Numbers of Arrangements in Practice. 13-31
  
• I. N. Belyaeva, N. A. Chekanov, Alexander Gusev, V. A. Rostovtsev, Yu. A. Ukolov, Yoshio Uwano, Sergey I. Vinitsky:
  A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method. 32-39
  
• Rudolf Berghammer, Frank Neumann:
  RelView - An OBDD-Based Computer Algebra System for Relations. 40-51
  
• Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro:
  On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups. 52-64
  
• Alexander D. Bruno, Victor F. Edneral:
  Normal Forms and Integrability of ODE Systems. 65-74
  
• Laurent Busé, Houssam Khalil, Bernard Mourrain:
  Resultant-Based Methods for Plane Curves Intersection Problems. 75-92
  
• Carlo Cattani, Evgenii A. Grebenikov, Alexander N. Prokopenya:
  Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion. 93-104
  
• Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov:
  Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time. 105-114
  
• Dmytro Chibisov, Victor G. Ganzha, Sergey Pankratov, Christoph Zenger:
  Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots. 115-124
  
• Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair:
  Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials. 125-137
  
• Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert:
  A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. 138-149
  
• Ioannis Z. Emiris, Elias P. Tsigaridas:
  Real Solving of Bivariate Polynomial Systems. 150-161
  
• Jesús Gago-Vargas, Maria Isabel Hartillo-Hermoso, Jose Maria Ucha-Enríquez:
  Nouvelle Cuisine for the Computation of the Annihilating Ideal of f^s. 162-173
  
• Vladimir P. Gerdt, Yuri A. Blinkov:
  Janet-Like Monomial Division. 174-183
  
• Vladimir P. Gerdt, Yuri A. Blinkov:
  Janet-Like Gröbner Bases. 184-195
  
• Domingo Gomez-Perez, Jaime Gutierrez, Álvar Ibeas:
  Circulant Digraphs and Monomial Ideals. 196-207
  
• Rocío González-Díaz, Belén Medrano, Pedro Real, Javier Sánchez-Peláez:
  Algebraic Topological Analysis of Time-Sequence of Digital Images. 208-219
  
• Laureano González-Vega, Carlo Traverso, Alberto Zanoni:
  Hilbert Stratification and Parametric Gröbner Bases. 220-235
  
• E. A. Grebenicov, D. Kozak-Skoworodkin, M. Jakubiak:
  Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem. 236-243
  
• Alexander Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Yoshio Uwano, Sergey I. Vinitsky:
  Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrödinger Equation by Split-Operator Method. 244-258
  
• Valentin Irtegov, Tatyana Titorenko:
  On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid. 259-271
  
• Vladimir V. Kornyak:
  On Compatibility of Discrete Relations. 272-284
  
• Christos Koukouvinos, E. Lappas:
  Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems. 285-293
  
• Christos Kravvaritis, Marilena Mitrouli, Jennifer Seberry:
  Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices. 294-305
  
• Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi:
  Fast Verification for Respective Eigenvalues of Symmetric Matrix. 306-317
  
• Kosaku Nagasaka:
  Towards More Accurate Separation Bounds of Empirical Polynomials II. 318-329
  
• David G. Richardson, Werner Krandick:
  Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. 330-343
  
• Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, A. Aparicio, Luis M. Laita:
  Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. 344-354
  
• Susanne Schmitt:
  The Diamond Operator - Implementation of Exact Real Algebraic Numbers. 355-366
  
• Leonid Semin, Vasily Shapeev:
  Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System. 367-378
  
• Alexander Shermenev:
  Nonlinear Waves in a Rod. 379-386
  
• Liu Shu, Andreas Weber:
  A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods. 387-398
  
• Sergey Slavyanov, Vladimir Papshev:
  Differential and Difference Equations for Products of Classical Orthogonal Polynomials. 399-404
  
• Akhmadjon Soleev:
  Algorithm of Local Resolution of Singularities of a Space Curve. 405-415
  
• Thomas Sturm:
  Quantifier Elimination for Constraint Logic Programming. 416-430
  
• Akira Suzuki:
  Computation of Full Comprehensive Gröbner Bases. 431-444
  
• Akira Terui:
  Recursive Polynomial Remainder Sequence and the Nested Subresultants. 445-456
  
• S. Yu. Vernov:
  Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems. 457-468
  
• Volker Weispfenning:
  Solving Linear Differential Problems with Parameters. 469-488
  
• Serguey Zemskov:
  Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate. 489-500