June 25th, Morning

A                      B              C                          D                         E

09:00-09:15

Opening

09:15-09:45

How to create countable groups

(A.Vershik)

Solving Inverse Problem for Discrete Schrodinger Equation by Using CAS REDUCE

(S.Serdyukova)

09:45-10:15

On Factorization of Interval Polynomials, Rational Approximation of Sufficiently Smooth Real Functions and Optimal Interval Evaluation

(N.Glazunov)

10:15-10:45

The Monster Simple Group: How to Generalize Elliptic Modular Function j
(John McKay)

Hensel Construction of $F(x,u_1,...,u_n), n >= 2$, at a Singular point and Its Applications

(T.Sasaki)

10:45-11:15

Bivariate Rational Approximation and Multivariate Approximate GCD

(Hiroshi Kai & Matu-Tarow Noda)

11:15-11:45

Break

11:45-12:15

Some weight distributions for binary codes

(I.Gachkov)

Groebner Bases and Involutive Bases

(A. V. Astrelin & E. V. Pankratev)

Asymptotics of Motion of the Rigid Body with a Fixed Point
(A. Aranson)

Wu's method for a system of floating point coefficient polynomial equations

(Matu-Tarow Noda, Hiroshi Kai & Yoshio Notake)

12:15-12:45

Unitary fractions

(I.Kotsireas)

Discrete Comprehensive Groebner Bases

(Yosuke Sato & Akira Suzuki)

Local simplification for systems of ordinary differential equations

(I.Bacha)

Symbolic-numeric methods for solving zero dimensional polynomial systems

(B.Mourrain)

12:45-13:15

Representatives classes conjugation of nilpotet elements in a simple Lie algebra. Low dimensions

(A.Suhanov)

Generalized Characteristic Sets and Multivariable Differential Dimension Polynomials

(A.Levin)

Parametric analysis of the stability of complex systems by means of computer algebra

(A.Banshchikov & L.Bourlakova)

13:15-15:00

# Lunch

A - Computational Number Theory and Group Theory             Song Yan & Ilias Kotsireas

B - Groebner Bases and Applications                                            Quoc-Nam Tran & Alexander Levin

C - Computer Algebra for Dynamical Systems and Mechanics  Victor Edneral, Raya Khanin, Ilias Kotsireas & Nikolay                                             Vassiliev

D -Approximate Algebraic Computation: towards Symbolic-Numeric Algorithms Robert Corless, Tateaki Sasaki, Bernard                      Mourrain & Matu-Tarow Noda

June 25th, Evening

A

B

C

D

E

15:00-15:30

Fast computing with subgroup lattices in GAP
(V.Mysovskih)

The facilities of Theorema for teaching Logic and Mathematics
(B.Buchberger & T.Jebelean)

Integrable dynamical systems: new classes
(L.Berkovich)

Algebra is not analysis
(J.Carette, R.Corless, D.Jeffrey & S.Watt)

Outer Estimation of Generalized Solution Sets
to Interval Equations Systems
(S.Shary
)

15:30-16:00

Finitely Presented Universal Groups and Computational Algebra
(Natasha Bozovic)

Teaching Linear Algebra with SVD Analysis
(A.Akritas)

Some applications of differential resultant systems
(G. Carra' Ferro)

A Computer Algebra-Based Expert System for Diagnosis of Anorexia
(C.Perez-Carretero, L.M. Laita, E.Roanes-Lozano, L.Lazaro & J.Gonzalez-Cajal)

Analysis of Interval Models with Floating Bounds
(V.Krischuk, G.Shilo, N.Gaponenko)

16:00-16:30

Virtual Mathematical Experiments
(G. Albano, V. Martuscelli, S. Miranda & S. Salerno)

Modular dynamical systems and efficient computation of their trajectories
(N. Glazunov)

The Regulation of Restoration Algorithms
(S.Ivanova & R.Ashinyants)

16:30-17:00

# Break

17:00-17:30

Mathematics and Mathematica
(G. Albano, C. D'Apice & R. Manzo)

Operator factorization methods in the form of a hypergeometric calculator based on the use of Internet client-server technology
(V.Mitrofanov, O.Paramonova & A.Niukkanen)

17:30-18:00

The algorithms of discrete mathematics and graph theory with Mathematica and TI-83,89
(Igor Gachkov)

A - Computational Number Theory and Group Theory                 Song Yan & Ilias Kotsireas

B - Teaching of Efficient Mathematics              Alkiviadis G. Akritas & Gennadi Malaschonok

C - Computer Algebra for Dynamical   Systems and Mechanics   Victor Edneral, Raya Khanin,

D - Nonstandard Applications                      Richard Liska, Stanly Steinberg & Michael Wester

E - Interval and Computer-Algebraic Methods in Science and Engineering  V. M. Nesterov

June 26th, Morning

A                 B                            C                         D                     E

09:00-09:30

Symplectic integrators and Computer Algebra in Celestial Mechanics
)

Hensel lifting and solving systems of linear equations
(G. Malaschonok)

An algorithm for solvability testing of elementary linear inequalities systems
(D.Beauquier & E. Smirnova)

A Problem Solving Environment for Numerical Partial Differential Equations
(Stanly Steinberg)

Twin Hulls of Fixed Point of a Volterra Integral Operator in Twin Spaces
(O.Ermakov)

09:30-10:00

Characteristic polynomials of finitely generated modules over Weyl algebras
(A. Levin)

A polynomial algorithm of cubic complexity for solving systems of linear inequalities with bounded integer variables and at most two variables per inequality
(D.Davydok)

An Approach from AI to the Design of Routes in a Railway Interlocking
(E. Roanes-Lozano & L.Laita)

Twin Hulls for the Reachable Set of ODE Interval Systems
(O.Ermakov)

10:00-10:30

Applications of computer algebra in general relativity+
(R. d'Inverno)

Construction of primitive elements in differential modules
(M. Kondratieva,  V.Mityunin & N. Makarevich)

Decidability and undecidability of fuzzy and universal theories of ring of k-ary numbers
(N.Kossovski)

SFTools --- Knowledge Based and Educational System on Special Functions
(A.Pirozhnikov)

The Preliminary Enclosing of the ODE Solutions on the Base of Cauchy-Duhamel Identity
(G.Menshikov)

10:30-11:00

Classification using repetition-dependent transformation distance measure on strings
(O.Golubitsky)

Program of solvability of linear equality and inequality systems with parameters
(E.Prokofieva)

Application of Computer Algebra Systems to Construct Formulae of the Collocation and Least Squares Method
(L.Semin & V. Shapeev)

Choice of an initial approximation for an iterative method of a solution of an interval system of the linear algebraic equations
(L. Kupriyanova)

11:00-11:30

Break

11:30-12:00

Poisson series processor for analytical manipulations in celestial mechanics problems
(T. V. Ivanova)

Computation of the weight enumerators of the binary linear codes by linear programming
(I. Gachkov)

Coherence theorems and their use in computer algebra
(S.Soloviev)

Operating Modeling Environment on Multi-syntax Language Base
(A.Kosteltsev)

An Application of Interval Taylor Series for Solving Inertial Navigation Systems
(D.Peregudov & V.Zyuzin)

12:00-12:30

Simplification of tensor polynomials with indices
(X. Jaen & A. Balfagon)

Generalized chain fractions
(D. Maslov)

The Natural Style Provers of Theorema: A Survey of Various Strategies for Different Mathematical Domains
(B. Buchberger, C. Dupre', T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vuasaru & W. Windsteiger)

Application of Computer Algebra Systems to Construct High-Order Difference Schemes
(A.Shapeev)

J - complex analysis and interval mathematic
(O.Peskova & V. Zyuzin)

12:30-13:00

Application of computational group theory for tensor simplification
(R. Portugal)

Monomial Filtrations in the Ring of Formal Power Series
(N.Vassiliev)

Combining Level-Saturation Strategies and Meta-Variables for Predicate Logic Proving in Theorema
(B. Konev & T. Jebelean)

Code Generation Using Computer Algebra Systems
(Michael Wester & John K. Prentice)

Solving geometric problems with interval parameters by means of symbolic construction plans
(R. Joan-Arinyo & N. Mata)

13:15-15:00

# Lunch

June 26th, Evening

A                     B                    C                     D                  E

15:00-15:30

On the number of independent components of an indexed object with symmetries
(S.Klioner & N. N.Vassiliev)

Formal validation of Algebraic Identification algorithm: example of Duffing equation (F. Benmakrouha, C. Hespel, G. Jacob & E. Monnier)

Proving theorems in Mathematical Information Environment+
(A. Letichevsky, J. Kapitonova & V. Volkov)

Vector Finite Difference Method
(N.Bessonov)

Approximate Quantified Constraint Solving By Cylindrical Box Decomposition
(S.Ratschan)

15:30-16:00

Application of GB technique to the geometry of pairs of Keplerian ellipses (K. Kholshevnikov & N.Vassiliev)

The Construction of Adaptive Control Systems for Transport Means.
(Z.Ilyichenkova & N.Zaharova)

Integrated Environment BARSIC as a Tool for Development and Run-Time Support of Research and Educational Software
(V. V. Monakhov, A. V. Kozhedub, S. B. Paramonov, E. Yu. Komarov & L. A. Evstegneev)

Universal algorithms and Idempotent Interval Analysis
(G.Litvinov)

16:00-16:30

The Identification of Continued Linear Dynamical Systems
(Z. Ilyichenkova, S. Ivanova & N. Zaharova)

Computation of Janet Bases. I. Monomial Bases

Universal Algorithms, Idempotent Mathematics and Interval Solutions of Optimization Problems
(G.Litvinov, A. Sobolevskii)

16:30-17:00

# Break

17:00-17:30

Computation of Janet Bases. II. Polynomial Bases

Analysis of Dynamic System with Interval Parametric Uncertainty: Stability Margins in the Frequency Domain
(F.Akhmedjanov & V.Krymsky)

17:30-18:00

Solving Ordinary Differential Equations by Equivalence Transformations
(M.Berth)

June 27th, Morning

A                   B                         C                         D                      E

09:00-09:30

Polynomial rootfinding and factorization
(Victor Pan)

On the Use of Derive and MathCad When Training Teachers of Mathematics
(O Lobanova)

Perturbed oscillators in resonance p:q:r
(A. Elipe & A. Riaguas)

Separability number and Schurity number of coherent configurations
(S. Evdokimov)

Inner estimation of a range of values
(V.Nesterov)

09:30-10:00

Developing Conceptual Understanding Through the Use of Computer Based Mathematics
(C. Glickman)

Structural invariant synthesis of the multiparametrical nonlinear systems
(A. Flegontov)

Discrete Optimization Problems with Interval Data: Connection between Pareto Set of Alternatives and the Set of Weak Solutions
(G.Kozina)

10:00-10:30

How quickly can we split generic polynomials?
(D.Bernstein)

Learning Calculus of Several Variables with New Technologies
(F.Javier Gonzalez, A.Garcia*, F.Garcia, A.Franco, P. Franco, A. de la Villa, S.Hoya & G.Rodriguez)

On Using the Transformations of Coordinates in the Problems of Dynamics
(V. D. Irtegov & T. N. Titorenko)

Separability and Schurity of association schemes and the Graph Isomorphism Problem
(I. Ponomarenko)

Verification of Invertibility and Charting of Constraint Manifolds in Differential Algebraic Equations
(J.Hoefkens & M.Berz)

10:30-11:00

Lower bounds for the bilinear complexity of matrix multiplication and of associative algebras
(Markus Blaeser)

Computer Algebra and Functional Programming in Mathematics Education
(N.Kalinina* & L.Gorodnjaja)

On choosing scalings for series expansion in singular perturbation problems
(R. Khanin)

The Role of Circulant Graphs in Computer Science and How to Recognize Them Efficiently
(G. Tinhofer)

Differential Algebraic Structures and Verification
(K.Makino)

11:00-11:30

Break

11:30-12:00

Completeness and Reduction in Algebraic Complexity
(Peter Buergisser)

The Solver HM: A New Software for Studying and Applying Mathematics
(A.Kirilov)

Evolution of caustics in dynamical systems with 2 degrees of freedom
(A.Mioulliari)

Graphs, codes, and schemes from non-linear functions
(D. Fon-der-Flaass)

Best relative placement: a new ability for spatial processing
(M.Reza Malek & M.Hahn)

12:00-12:30

Decomposing Matrix Algebras
(Wayne Eberly & Mark Giesbrecht)

A Discrete Look at Elementary Functions
(B.Pletsch)

Computer Algebra and Random Regimes Analysis
(I. Poloskov)

Coding theory and uniform distributions
(M. Skriganov)

Friction Models with Interval Parameters
(N.Khlebalin & A.Kostikov)

12:30-13:00

Fast computations of Integer Determinants
(Mark Giesbrecht, Gilles Villard & Wayne Eberly)

MINOS SE - A New Symbolic Computation Package with Intuitive ("Natural Syntax") Interface
(K.Tintarev)

Solution of the principal resonance problem in the case of massless $\phi^4$ theory
(S. Vernov)

Computer search for Moore graphs
(S.Duzhin)

Combined Interval-Analytical Constraint Satisfaction in Declarative Geometry
(E.Roukoleev & D.Ushakov)

13:15-15:00

# Lunch

## D –Association Schemes and their Applications     I. Ponomarenko & S. Evdokimov

E -   Interval and Computer-Algebraic Methods in Science and Engineering
V. M. Nesterov & Vladik Kreinovich

June 28th, Morning

A                 B                              C                       D                   E

09:00-09:30

Efficient exponentiation in finite fields
(Joachim von zur Gathen)

Indispensable Manual Calculation Skills in a CAS Math Teaching Environment
(Bernhard Kutzler)

Recent results on central configurations
(I. Kotsireas)

LanHEP --- a package for automatic generation of Feynman rules from the Lagrangian
(A.Semenov)

Morphisms and Binomial Ideals in Polynomial and Differential Polynomial Rings
(G.Carra' Ferro)

09:30-10:00

Complexity lower bounds of Positivstellensatz proofs
(Dima Grigoriev)

The application of Computer Algebra to Central configuration dynamics
(A. Rosaev)

Heat Invariants of Differential Operators on Manifolds with Torsion
(V.Kornyak)

Vector Representations of Involutive Divisions and Some New Involutive Divisions
(Yu-Fu Chen)

10:00-10:30

Accuracy and efficiency of parallel implementation of matrix multiplication
(I.Kaporin)

Experimenting with Mathematics by Mathematica
(G.Albano, C.D'Apice & R.Manzo)

Algebraic calculations of multipole matrix elements
(S. Yu. Slavyanov)

Involutive Algebraic and Differential Systems

10:30-11:00

Systems of polynomial equations: normal forms and effective algorithms
(B.Mourrain)

Plotting and Function Graphs as tools to face problem solving: A study with 12-13 year olds using graphing calculators (E.Tenoch ,A.Cedillo )

Application of the Lambert W function in Perturbative Quantum Chromodynamics

11:00-11:30

Break

11:30-12:00

Computations with structured matrices
(V.Pan)

Some Unexpected Results Using Computer Algebra Systems
(A.Garcia*, F.Garcia, F.Alonso, A.de la Villa, S.Hoya & G. Rodriguez)

Do we need high-level languages in CA? The GiNaC approach
(R.Kreckel)

Geometric-Algebraic Completion of Linear Differential Equations
(M.Hausdorf & W.Seiler)

12:00-12:30

Solving polynomial systems of equations by Newton's method
(M.Shub)

Preliminary Phases Of The Conversion Step And Computer Algebra Systems
(E.Tonisson)

Calculation of Feynman diagrams in Computer Algebra
(A.Kryukov)

Application of Computer Algebra to Analysis of Differential Equations Systems Compatibility
(S.Meleshko & V.Shapeev)

12:30-13:00

A Certain Educational Course in Mechanics with Computer Algebra System
(M.Grosheva* & V. Samsonov)

Implementation of the Differential Involutive Algorithms in the CAS Maple VR5
(V.Mityunin)

13:15-15:00

# Lunch

## & Andrei Semenov

E -   Computer Algebra Application to Involutivity and Group Analysis of Differential Equations                                                               Vladimir Gerdt & Fritz Schwarz