10. CASC 2007: Bonn, Germany

• Sergei A. Abramov, Marko Petkovsek:
  Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation. 1-10
  
• Alkiviadis G. Akritas, Gennadi I. Malaschonok:
  Computations in Modules over Commutative Domains. 11-23
  
• Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas:
  Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds. 24-30
  
• Werner Backes, Susanne Wetzel:
  An Efficient LLL Gram Using Buffered Transformations. 31-44
  
• Ainhoa Berciano, María José Jiménez, Pedro Real:
  On the Computation of A_infinity-Maps. 45-57
  
• Rudolf Berghammer, Gunther Schmidt:
  Algebraic Visualization of Relations Using RelView. 58-72
  
• Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan:
  Comprehensive Triangular Decomposition. 73-101
  
• Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov:
  Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations. 102-117
  
• Ochbadrakh Chuluunbaatar, 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 the Magnetic Field: Cylindrical Coordinates. 118-133
  
• Victor F. Edneral:
  An Algorithm for Construction of Normal Forms. 134-142
  
• Stephan Fritzsche:
  Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory. 143-144
  
• Vladimir P. Gerdt, Arsen Khvedelidze, Yuri Palii:
  Deducing the Constraints in the Light-Cone SU (3) Yang-Mills Mechanics Via Gröbner Bases. 145-159
  
• Nikita Gogin, Aleksandr Mylläri:
  On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game. 160-168
  
• E. A. Grebenikov, D. Kozak-Skoworodkin, N. I. Zemtsova:
  Properties of the Liapunov Stability Zones of the Lagrange Triangle. 169-180
  
• Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya:
  Studying the Stability of the Second Order Non-autonomous Hamiltonian System. 181-194
  
• Valentin Irtegov, Tatyana Titorenko:
  On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems. 195-210
  
• Maki Iwami:
  A Unified Algorithm for Multivariate Analytic Factorization. 211-223
  
• Takuya Kitamoto, Tetsu Yamaguchi:
  On the Computation of the Defining Polynomial of the Algebraic Riccati Equation. 224-235
  
• Vladimir V. Kornyak:
  Symmetries and Dynamics of Discrete Systems. 236-251
  
• N. A. Kostov, Z. T. Kostova:
  Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients. 252-264
  
• Ekaterina S. Kovaleva, Vyacheslav Tsybulin, Kurt Frischmuth:
  Dynamics of Nonlinear Parabolic Equations with Cosymmetry. 265-274
  
• Aless Lasaruk, Thomas Sturm:
  Weak Integer Quantifier Elimination Beyond the Linear Case. 275-294
  
• Michael B. Monagan, Roman Pearce:
  Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors. 295-315
  
• Kosaku Nagasaka:
  Ruppert Matrix as Subresultant Mapping. 316-327
  
• Ulugbek Kh. Narzullaev, Akmal R. Akhatov, Olim I. Jumanov:
  Construction of Computer System for Microobjects Recognition Based on Neural Networks. 328-338
  
• Juan Ospina, Mario Vélez:
  Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra. 339-349
  
• Wilhelm Plesken, Daniel Robertz:
  Some Elimination Problems for Matrices. 350-359
  
• Ekaterina Shemyakova, Franz Winkler:
  A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. 360-369
  
• Daniel Esteban Sierra Sosa:
  Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple. 370-376
  
• Doru Stefanescu:
  Bounds for Real Roots and Applications to Orthogonal Polynomials. 377-391
  
• Alexei Yu. Uteshev, Marina V. Yashina:
  Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR ⁿ . 392-401
  
• Volker Weispfenning:
  Robust Stability for Parametric Linear ODEs. 402-422
  
• Franz Winkler, Ekaterina Shemyakova:
  Symbolic and Algebraic Methods for Linear Partial Differential Operators. 423
  
• Song Y. Yan, Carsten Maple, Glyn James:
  A New Scheme for Deniable/Repudiable Authentication. 424-432
  
• Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto:
  An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. 433-447
  
• Anna Deytseva:
  On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application. 448-457