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

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

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

11:30-12:00

Talk: Paper 22

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

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