1

CASC 2006 Preliminary Schedule

	Mon	Tue	Wed	Thu	Fri
08:00-08:30	Breakfast	Breakfast	Trip to Odessa 04:00-Depart. 23:00-Arrival	Breakfast	Breakfast
08:30-09.00	Breakfast	Bus to TUM		Bus to TUM	Bus to TUM
09:00-09:30	Registration at the Hotel	3 Talks: Papers 19, 21, 20		3 Talks: Papers 12, 9, 23	2 Talks: Papers 4, 6
09:30-10:00	Registration at the Hotel				2 Talks: Papers 4, 6
10:00-10:30	Bus to TUM, build. 1				Coffee Break
10:30-11:00	Registration at the TUM	Coffee Break		Coffee Break	Business Meeting
11:00-11:30	Opening Ceremony	Invited Talk I		Invited Talk II	Business Meeting
11:30-12:00	Talk: Paper 22	Invited Talk I		Invited Talk II	Closing
12:00-12:30	Bus to Hotel	Bus to Hotel		Bus to Hotel
12:30-13:30	Lunch at the Hotel	Lunch at the Hotel		Lunch at the Hotel
13:30-14:00	Bus to TUM	Bus to TUM
14:00-14:30 14:30-15:00 15:00-15:30	3 Talks: Papers 7, 5, 13	3 Talks: Papers 2, 3, 16		Excursion to the vinery Milestii Mici 14:00- Departure
15:30-16:00	Coffee Break	Coffee Break
16:00-16:30 16:30-17:00 17:00-17:30 17:30-18:00 18:00-18:30	5 Talks: Papers 15, 17, 11, 14, 10	5 Talks: Papers 18, 1, 8, 25, 24
18:30-19:00	Bus to TUM	Conference Party at TUM
19:00-20:00	Dinner at the Hotel	Conference Party at TUM		Dinner at the Hotel

CASC 2006 List of Talks

1. Application of Computer algebra for construction of quasi-periodic solutions for restricted circular planar three body problem
V. P. Borunov, Yu. A. Ryabov, O. V. Surkov

2. Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RELVIEW
Rudolf Berghammer

3. Algorithmic Invariants for Alexander Modules
Jesus Gago-Vargas, Isabel Hartillo-Hermoso, Jose Maria Ucha-Enriquez

4. Parallel Laplace method with assured accuracy for solving differential equations in symbolic computations
Natasha Malaschonok

5. Sudokus and Gröbner bases style='mso-ansi-language:EN-US'> and Gröbner bases not only a Divertimento
Jesus Gago-Vargas, Isabel Hartillo-Hermoso, Jorge Martin-Morales, Jose Maria Ucha-Enriquez

6. Newton polyhedra and an oscillation index of convex functions
Isroil A. Ikromov, Akhmadjon Soleev

7. Intervals, Syzygies, Numerical Gröbner Syzygies, Numerical Gröbner Bases: a Mixed Study
Marco Bodrato, Alberto Zanoni

8. Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals
A. Casian, R. Dusciac, V. Dusciac, V. Patsiuk

9. Numerical Research of Stability Domains of Hamiltonian Equation Solutions
E. A. Grebenicov, D. Kozak-Skoworodkin, D. M. Diarova

10. Providing Modern Software Environments to Computer Algebra Systems
Svetlana Cojocaru, Ludmila Malahova, Alexander Colesnicov

11. Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem
Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya

12. Cellular Automata with Symmetric Local Rules
Vladimir V. Kornyak

13. Inequalities on Upper Bounds for Real Polynomial Roots
Doru Stefanescu

14. On Connection Between Constructive Involutive Divisions and Monomial Orderings
S. Semenov

15. A symbolic-numeric approach for solving of the eigenvalue problem for the one-dimensional Schrödinger equation
problem for the one-dimensional Schrödinger equation
N. Belyaeva, N. A. Chekanov, A. A. Gusev, V. A. Rostovtsev, S. I. Vinitsky

16. On Decomposition of Tame Polynomials and Rational Functions
Jaime Gutierrez, David Sevilla

17. A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in a Magnetic Field
Alexander Gusev, Vladimir Gerdt, Michail Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergue Vinitsky

18. Efficient Preprocessing Methods for Quantifier Elimination
Christopher W. Brown, Christian Gross

19. A Symbolic-Numeric Approach to Tube Modeling in CAD Systems
Gerrit Sobottka, Andreas Weber

20. Testing Mersenne Primes with Elliptic Curves
Song Y. Yan

21. Algebraic Generation of Nearly Orthogonal Grids on Curvilinear Trimmed Regions With Moving Boundaries
D. Chibisov, V. Ganzha, E. W. Mayr, E. V. Vorozhtsov

22. Simplicial Perturbation Techniques and Effective Homology
R. Gonzales-Diaz, B. Medrano, J. Sanchez-Pelaez, P. Real

23. Comparison Maps for Relatively Free Resolutions
V. Alvarez, J.A. Armario, M.D. Frau, P. Real

24. Reducing Computational Costs in the Basic Perturbation Lemma
A. Berciano, M.J. Jimenez, P. Real

25. The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem
D. Diarova, N.I. Zemtsova

Inv I. New Domains for Applied Quantifier Elimination
T. Sturm

Inv II. Algorithms for Symbolic Polynomials
S.M. Watt