13. CASC 2011: Kassel, Germany

• Sergey Abrahamyan, Melsik Kyureghyan:
  A Recurrent Method for Constructing Irreducible Polynomials over Finite Fields. 1-9
  
• Sergei A. Abramov, Moulay A. Barkatou, Eckhard Pflügel:
  Higher-Order Linear Differential Systems with Truncated Coefficients. 10-24
  
• Juan Gerardo Alcázar:
  Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter. 25-36
  
• Serge N. Andrianov:
  A Modular Approach for Beam Lines Design. 37-48
  
• Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
  Computations on Simple Games Using RelView. 49-60
  
• François Boulier, François Lemaire, Alexandre Sedoglavic:
  On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. 61-72
  
• François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic:
  Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). 73-87
  
• Dzmitry A. Budzko, Alexander N. Prokopenya:
  On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem. 88-100
  
• Changbo Chen, Marc Moreno Maza:
  Semi-algebraic Description of the Equilibria of Dynamical Systems. 101-125
  
• Victor F. Edneral, Valery G. Romanovski:
  Normal Forms of Two p: - q Resonant Polynomial Vector Fields. 126-134
  
• Hassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber:
  On Muldowney's Criteria for Polynomial Vector Fields with Constraints. 135-143
  
• Diego Fabregat-Traver, Paolo Bientinesi:
  Knowledge-Based Automatic Generation of Partitioned Matrix Expressions. 144-157
  
• Vladimir P. Gerdt, Yuri A. Blinkov:
  Involutive Division Generated by an Antigraded Monomial Ordering. 158-174
  
• A. A. Gusev, Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, V. A. Rostovtsev:
  Symbolic-Numerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions. 175-191
  
• Sergey A. Gutnik:
  Symbolic-Numeric Investigation of the Aerodynamic Forces Influence on Satellite Dynamics. 192-199
  
• William Hart, Andrew Novocin:
  Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic. 200-214
  
• Matthias Hauser, Christian Salzig, Alexander Dreyer:
  Fast and Robust Symbolic Model Order Reduction with Analog Insydes. 215-225
  
• Valentin Irtegov, Tatyana Titorenko:
  On Invariant Manifolds of Lagrange Systems. 226-238
  
• Hidenao Iwane, Akifumi Kira, Hirokazu Anai:
  Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. 239-250
  
• Bülent Karasözen, Anastasia Trofimova, Vyacheslav Tsybulin:
  Convection in a Porous Medium and Mimetic Scheme in Polar Coordinates. 251-262
  
• Vladimir V. Kornyak:
  Computations in Finite Groups and Quantum Physics. 263-279
  
• Anja Korporal, Georg Regensburger, Markus Rosenkranz:
  Regular and Singular Boundary Problems in Maple. 280-293
  
• Heinz Kredel, Raphael Jolly:
  Algebraic Structures as Typed Objects. 294-308
  
• Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak:
  On Two-Generated Non-commutative Algebras Subject to the Affine Relation. 309-320
  
• Brian J. Murphy:
  Acceleration of the Inversion of Triangular Toeplitz Matrices and Polynomial Division. 321-332
  
• Zhikun She, Bai Xue:
  Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. 333-344
  
• Ágnes Szántó:
  Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems (Survey Talk Overview) (Invited Talk). 345-347
  
• Miloslav Znojil:
  Symbolic-Manipulation Constructions of Hilbert-Space Metrics in Quantum Mechanics. 348-357
  

Last update Tue May 22 23:23:19 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page