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 |
|