PROGRAM
of the Twelfth International
Conference
on Applications of Computer Algebra ACA 2006
June 26-29,
2006, Varna, Bulgaria
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 |
|
||
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 – 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 - 14:30 |
Using Groebner Bases to Reverse-Engineer Biochemical Networks. W. Just & B. Stigler |
Tight Error Bounds for Numerical Roots. T. Sasaki |
|
|
||
14:30 - 15: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 |
|
|
||
15:00 - 15:30 |
A Clinical Histories-Based “Gravitational'' Decision Support System. E. Roanes-Lozano, B. de la
Torre, L. Laita & E. Roanes-Macias |
|
|
|
||
15:30 - 16:00 |
Coffee break |
|
||||
16:00 - 19:30 |
Excursion to Varna |
|
||||
|
19:30 |
Dinner |
|
|||
ACA2006 – 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 |
Joint Distribution of the Number of
Vertices with Given Different Outdegrees in Galton--Watson Forest. T. Myllari |
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 |
On the Provable Tight Approximation of Optimal Meshing for Non-Convex Regions. D.Chibisov, Vi.Ganzha, E.Mayr, E.Vorozhtsov
|
|
|
11:00 - 11:30 |
Expansions of Solutions to an ODE
system. A. Bruno |
Computing the Optimal Motion for 321
Kinematic Chains with Geometric Constraints. D. Chibisov |
|
|
11:30 - 12:00 |
|
|
||
12:00 - 12:30 |
On Normalization and Symmetrization of
Hamiltonian Systems. V. Zhuravlev & A. Petrov |
Affine Bracket Algebra for Automated
Theorem Proving in Affine Geometry. H. Li &
N. Zhang |
|
|
12:30 - 14:00 |
Lunch |
|
||
14:00 - 22:00 |
Excursion to Balchik and the Ethnographic complex
“Chiflik Chukurovo”, with dinner at the Ethnographic complex |
|
ACA2006 – 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 |
Symbolic Dynamics in Equal-Mass
Three-Body Problem. A. Myllari, A. Martynova, V.
Orlov & A. Chernin |
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 |
An Algorithm for PDE Consistency under
Constraints with an Application to Relativistic Cosmology. St. Watt |
|
|
|
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 |
|