PROGRAM of The Twelfth International Conference

on Applications of Computer Algebra ACA-2006

June 26-29, 2006, Varna, B ulgaria

 

Mon.

June

26

Time

Events

Note

8:00 -   9:30 9:30 - 10:00

Registration

Opening ceremony. Opening statement by Professor Stefan Dodunekov

 

Room 1

10:00 - 10:30

Coffee break

 

 

Room 1 Coding Theory and Cryptography (I).

Organizers: S. Dodunekov &T. Shaska

Room 2 Computer Algebra in Education.

Organizers: A.Arkitas, M.Wester, P.Vigklas  & B.Pletsch

Room 3 CA and Interval Computations.

Organizers: E. Popova & W. Kraemer

 

10:30 - 11:00

Some new results for additive self-dual codes over GF(4). Z. Varbanov

E-training of Formal Mathematics: Report on the CreaComp Project at the University of Linz. R. Vajda

Optimization of Algorithms by Continued Fractions. F. Blomquist

 

 

11:00 - 11:30

On the geometric construction of codes from an asymptotically good tower over GF(8). C. Shor

Another Look at Teaching Mathematics with Maple.

S. Slavova  & G. Stanilov

Interval Arithmetic Approach to Movers' Problem. N. Tongsiri

N. Tongsiri

 

11:30 - 12:00

Theta nulls of algebraic curves with auto-morphisms and applications to coding theory.

T. Shaska  & G. Wijesiri

A Counting Problem using Computer Algebra and Math Reform Techniques. B. Pletsch

Algebraic Computations with Hausdorff Continuous Functions. R. Anguelov & S. Markov

 

12:00 - 12:30

Some MDS codes over GF(64) connected with the binary doubly-even [72, 36, 16] code. S. Bouyuklieva

Application of Computer Algebra Systems for Obtaining, Illustration and Verification of Mathematical Results. A. Tomova

The Maple Power Tool intpakX.

W. Kraemer

 

 

12:30 - 14:00

Lunch

 

14:00 - 14:30

Small word graphs with memory  of high girth and cryptographical algorithms.

V. Ustimenko

A Comparison of Various Methods for Computing Bounds for Positive Roots of Polynomials.

A. Akritas  & P. Vigklas

Embedding CADNA in BLAS1.

J. Lamotte, Y. Lebars, N. Limare

 

14:30 - 15:00

Using the error-correcting dependencies for collaborative filtering.

G. Bogdanova  & T. Georgieva

Non-Euclidean Geometry in School.

M. Spirova  & Yu. Tsankov

On the Algebra of Intervals.

S. Markov

 

 

15:00 - 15:30

Improvements on the juxtaposign theorem.

I. Gachkov & H. Larsson

A Didactic Top-down Approach to CAD.

V. Weispfenning

Computing and visualizing  the exact solution set of systems of equations with interval coefficients. W. Kraemer

 

15:30 - 16:00

Coffee break

 

16:00 - 16:30

What is a Q-extension.

I. Bouyukliev

Technology-Meets-Tradition: Activities in Teaching and Learning Integrals. E. Varbanova

Visualization of Parametric Solution Sets.

E. Popova

 

16:30 - 17:00

On the error correcting performance of some binary and ternary of some linear codes.

T. Baicheva

The Interaction of Computer Algebra Systems and Course Management Systems in Teaching Business Calculus at the American College of Thessaloniki.

P. Vlachos & E. Maou

 

 

 

17:15 - 18:00

A talk by Alkiviadis G. Akritas &Panagiotis S.Vigklas devoted to the 110 th anniversary of Nikola Obreshkoff- one of the pioneers of Bulgarian mathematics

Room 1

 

18:00 - 19:15

ACA Working groop meeting. Presentation about ACA 2007 by Tony Shaska

Room 1

 

19:30

Welcome party in the International Home of Scientists

 

 

ACA2006 Final program                                                                                                                                                                                                                                                                                                                    2

Tue.,

June

27

Time

Events

Note

 

Room 2 Non-Standard Applications of Computer Algebra (I).

Organizers: E. Roanes-Lozano & M. Wester

Room 3 Approximate Algebraic Computation Session.

Organizers: T. Sasaki  & H. Kai

Room 4 Coding Theory and Cryptography (II).

Organizers: S. Dodunekov  &T. Shaska

 

  9:00 -   9:30

Symbolic Computation versus Computer Algebra. St. Watt

Multivariate Radical Computations in the Approximate Setting. I. Janovitz-Freireich, L. Ronyai & A. Szanto       

Finding factorable spheres in [1,n].

P.Constantinos & A.Nikolaos

 

  9:30 - 10:00

Using Computer Algebra Techniques for the Specification and Verification of Recursive Programs.  N. Popov  & T. Jebelean

Obstacles to Factorization of Linear Partial Differential Operators into Arbitrary Number of Factors. E. Shemyakova  & F. Winkler

An n-Convolution Algorithm Modeling.

T. Trifonov & I. Simeonov

 

10:00 - 10:30

Using Symbolic Summation and Polynomial Algebra for Imperative Program Verification in the Theorema System.

L. Kovacs & T. Jebelean

Hybrid indefinite integration of rational functions with parameters.

N. Nakagawa, H. Kai & Matu-Tarow Noda

Room 4 Parallel Computer Algebra.

Organizer: G. Malaschonok

 

10:30 - 11:00

Coffee break

 

11:00 - 11:30

Measuring the Evolution of the Flexibility of a Railway Network.

E. Roanes-Lozano, L. Laita, E. Roanes-Macias, J. Ruiz  & C. Roncero

Visualization of Extended Hensel Factors.

D. Inaba, K. Katamachi  & T. Sasaki

On the parallel computer algebra.

G. Malaschonok, Yu. Valeev, M. Zuev  &

V. Kazakov

 

11:30 - 12:00

MatLab Analysis of Acoustic Processes in Water Pipelines.

T. Trifonov, K. Simeonov  & I. Simeonov

Numerical Preconditioning of Algebraic and Geometric Computations.

V. Pan

Parallel computation of adjoint matrices.

A. Akritas  & G. Malaschonok

 

12:00 - 12:30

A Computer Algebra Application to Determi-nation of Lie Symmetries of Partial Differential Equations.

V. Pulov, E. Chacarov  & I. Uzunov

Structured Matrix Algorithms for Polynomial Root-finding.

V. Pan

Solving differential equations by parallel Laplace method with assured accuracy.

N. Malaschonok

 

12:30 - 14:00

Lunch

 

14:00 - 18:00

Excursion to Varna

 

18:00 - 18:30

Using Groebner Bases to Reverse-Engineer Biochemical Networks. W. Just  & B. Stigler

Tight Error Bounds for Numerical Roots.

T. Sasaki

 

 

18:30 - 19:00

A Model of Metabolic Processes using Maple.

N. Dimitrova  & S. Markov

Computing Close Roots in a Cluster, of Univariate Polynomial.

T. Sasaki & Akira Terui

 

 

19:00 - 19:30

Joint Distribution of the Number of Vertices with Given Different Outdegrees in Galton--Watson Forest.

T. Myllari

 

 

 

 

19:30

Dinner

 


 

ACA2006 Final program                                                                                                                                                                                                                                                                                                                    3

 

Wed.,

June

28

Time

Events

Note

 

Room 2 Non-Standard Applications of Computer Algebra (II).

Organizers: E. Roanes-Lozano & M. Wester

Room 3 Computational Topology and Geometry.

Organizers: V. Ganzha, E. Mayr  & D. Chibisov

 

  9:00 -   9:30

Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis.

R. Vajda, T. Jebelean and B. Buchberger

A Relation between the Weyl Group W(E8) and Eight-line Arrangements on a Real Projective Plane.

T. Fukui  & J. Sekiguchi

 

  9:30 - 10:00

A Clinical Histories-Based “Gravitational'' Decision Support System.

E. Roanes-Lozano, B. de la Torre, L. Laita & E. Roanes-Macias

A realization of the real projective plane onto a triangle.

G. Stanilov  & S. Slavova

 

10:00 - 10:30

Enabling GRID for Computer Algebra Applications.

V. Edneral

Computing Radicals of Submodules of Free Modules over Polynomial Rings.

E.Yilmaz

 

10:30 - 11:00

Coffee break

 

 

Room 2 Ordinary Differential Equations.  Normal Forms and Expansions of Solutions (I).

Organizers: A. Bruno & V. Edneral

 

 

11:00 - 11:30

Expansions of Solutions to an ODE system.

A. Bruno

On the Provable Tight Approximation of Optimal Meshing for Non-Convex Regions.
D.Chibisov, Vi.Ganzha, E.Mayr, E.Vorozhtsov

 

 

11:30 - 12:00

Computing the Optimal Motion for 321 Kinematic Chains with Geometric Constraints.

D. Chibisov

 

12:00 - 12:30

On Normalization and Symmetrization of Hamiltonian Systems.

V. Zhuravlev  & A. Petrov

 

 

12:30 - 14:00

Lunch

 

14:00 - 22:00

Excursion to Balchik and the Ethographic complex “Chiflik Chukurovo”, with dinner at the Ethographic complex

 


 

ACA2006 Final program                                                                                                                                                                                                                                                                                                                    4

Thu.,

June

29

Time

Events

Note

 

Room 2 Ordinary Differential Equations.  Normal Forms and Expansions of Solutions (II). Organizers: A. Bruno & V. Edneral

Room 3 Applied Parametric Symbolic Computation.

Organizers: T. Sturm  & H. Anai

 

  9:00 -   9:30

Search of Additional Integrals by the Normal Form Method.

V. Edneral

Advances to the canonical discussion of polynomial systems with parameters.

A. Montes

 

  9:30 - 10:00

High-accurate Method for Solving the Orr-Sommerfeld Stability Equation.

S. Skorokhodov

Computation of Full Comprehensive Groebner Bases using Groebner Bases.

A. Suzuki

 

10:00 - 10:30

Studying the Influence of Higher Order Derivative Corrections in String

Theory Problems by Means of Computer Algebra. V. Kolybasova

Comprehensive Groebner Bases for Modules.

K. Nabeshima

 

10:30 - 11:00

Coffee break

 

11:00 - 11:30

Asymptotical Expansions of the Solutions to the Sixth Painleve Equation

I. Goruchkina

On quantifier elimination for Calculus of Sets.

Y. Sato

 

11:30 - 12:00

Finite Solutions of the N.Kowalewski Equations for Motion of a Rigid Body

about a Fixed Point. I. Gashenenko

Univariate Weak Quantifier Elimination for the Integers.

A. Lasaruk

 

 

Room 2 Computer Algebra for Dynamical Systems and Celestial Mechanics.

Organizers: V. Edneral, A. Myllary  & Nikolay Vassiliev

 

 

12:00 - 12:30

An Algorithm for PDE Consistency under Constraints with an Application to

Relativistic Cosmology. St. Watt

Quantifier elimination for real algebra: the quadratic, cubic and  quartic case.

I. Emiris  & E. Tsigaridas

 

12:30 - 14:00

Lunch

 

14:00 - 14:30

Application of the Computer Algebra System in Investigation of  D-Stability of Matrices. L. Burlakova

Survey of Rigorous Conditions for High Cell-Type Diversity  over

Multicellular Organisms by Quantifier Elimination. H. Yoshida

 

14:30 - 15:00

Computer Algebra methods in Qualitative Analysis of Mechanical Systems.

V. Irtegov  & T. Titorenko

Stability for parametric linear ODEs.

V. Weispfenning

 

15:00 - 15:30

Analysis of Degenerate Solutions with Variational Equations.

V. Varin

Parametric Normal Forms in Digital Communications.

 J. Lebrun

 

15:30 - 16:00

Coffee break

 

16:00 - 16:30

Use of the Operational Calculus Approach in the Environment of a Computer

Algebra System. I. Dimovski  & M. Spiridonova

Approximation of C-space Obstacles using Interval Evaluation.

N. Tongsiri

 

16:30 - 17:00

Symbolic Dynamics in Equal-Mass Three-Body Problem.

A. Myllari, A. Martynova, V. Orlov  & A. Chernin

 

 

17:00 - 17:30

A Symbolic-Numerical Algorithm for Evaluating Matrix Elements Between the Oblate Angular Spheroidal Functions and Their Derivatives by a Parameter. O. Chuluunbaatar, V. Gerdt, A. Gusev, V. Rostovtsev, V. Samoylov, T. Tupikova, S. Vinitsky  & M. Kaschiev

 

 

17:30 - 18:00

Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients. N.Kostov

 

 

20:00

Farewell party