Computer Algebra in Scientific Computing

1. Front Matter

   PDF

2. Construction of Irreducible Polynomials over Finite Fields

   • Sergey Abrahamyan

   Pages 1-3

3. Factorization of Polynomials and GCD Computations for Finding Universal Denominators

   • S. A. Abramov, A. Gheffar, D. E. Khmelnov

   Pages 4-18

4. A Role of Symbolic Computations in Beam Physics

   • Serge N. Andrianov

   Pages 19-30

5. Thomas Decomposition of Algebraic and Differential Systems

   • Thomas Bächler, Vladimir Gerdt, Markus Lange-Hegermann, Daniel Robertz

   Pages 31-54

6. On Multivariate Homogeneous Polynomial Decomposition

   • Paula Bustillo, Jaime Gutierrez

   Pages 55-60

7. Computing Matrix Representations of Filiform Lie Algebras

   • Manuel Ceballos, Juan Núñez, Ángel F. Tenorio

   Pages 61-72

8. Type Specialization in Aldor

   • Laurentiu Dragan, Stephen M. Watt

   Pages 73-84

9. An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models

   • Ambedkar Dukkipati, Joel George Manathara

   Pages 85-96

10. On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point

    • Victor Edneral, Valery G. Romanovski

    Pages 97-105

11. Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models

    • A. A. Gusev, O. Chuluunbaatar, V. P. Gerdt, V. A. Rostovtsev, S. I. Vinitsky, V. L. Derbov et al.

    Pages 106-122

12. On Reduction of Lagrange Systems

    • Valentin Irtegov, Tatyana Titorenko

    Pages 123-133

13. Series Transformations to Improve and Extend Convergence

    • G. A. Kalugin, D. J. Jeffrey

    Pages 134-147

14. Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems

    • Zoia Kostova, Nikolay Kostov, Vladimir Gerdjikov

    Pages 148-161

15. Generic, Type-Safe and Object Oriented Computer Algebra Software

    • Heinz Kredel, Raphael Jolly

    Pages 162-177

16. Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden

    • Oleg Lobachev, Rita Loogen

    Pages 178-193

17. Fast Generalized Bruhat Decomposition

    • Gennadi Malaschonok

    Pages 194-202

18. Computational Science in Armenia (Invited Talk)

    • H. Marandjian, Yu. Shoukourian

    Pages 203-203

19. From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk)

    • Ernst W. Mayr

    Pages 204-204

20. Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests

    • Winfried Neun, Thomas Sturm, Stefan Vigerske

    Pages 205-219

The CASC Workshops are traditionally held in turn in the Commonwealth of IndependentStates(CIS)andoutsideCIS(Germanyinparticular,but,attimes, also other countries with lively CA communities). The previous CASC Wo- shop was held in Japan, and the 12th workshop was held for the ?rst time in Armenia, which is one of the CIS republics. It should be noted that more than 35 institutes and scienti?c centers function within the National Academy of S- ences of Armenia (further details concerning the structure of the academy can be foundhttp://www. sci. am). These institutions are concerned, in particular, with problems in such branches of natural science as mathematics, informatics, physics, astronomy, biochemistry, etc. It follows from the talks presented at the previous CASC workshops that the methods and systems of computer algebra may be applied successfully in all the above-listed branches of natural sciences. Therefore, the organizers of the 12th CASC Workshop hope that the present workshop will help the Armenian scientists to become even more familiar with the capabilities of advanced computer algebra methods and systems and to get in touch with specialists in computer algebra from other countries. The 11 earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, CASC 2004, CASC 2005, CASC 2006, CASC 2007, and CASC 2009 were held, respectively, in St. Petersburg (R- sia), Munich (Germany), Samarkand (Uzbekistan), Konstanz (Germany), Yalta (Ukraine), Passau (Germany), St.

• algebraic computation
• algorithms
• calculus
• complexity
• computational geometry
• derivation
• differential equations
• numerical simulation
• visualization
• algorithm analysis and problem complexity

• JINR, Moscow region, Dubna, Russia

  Vladimir P. Gerdt

• University of Kassel, Kasse, Germany

  Wolfram Koepf

• Technische Universität München, Garching, Germany

  Ernst W. Mayr

• Russian Academy of Sciences,, Novosibirsk, Russia

  Evgenii V. Vorozhtsov

Policies and ethics