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 |
|
|
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 |
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 |
The facilities of
Theorema for teaching Logic and Mathematics |
Integrable
dynamical systems: new classes |
Algebra is not
analysis |
Outer Estimation of
Generalized Solution Sets |
|||
|
15:30-16:00 |
Finitely Presented
Universal Groups and Computational Algebra |
Teaching Linear
Algebra with SVD Analysis |
Some applications
of differential resultant systems |
A Computer
Algebra-Based Expert System for Diagnosis of Anorexia |
Analysis of
Interval Models with Floating Bounds |
|||
|
16:00-16:30 |
|
Virtual
Mathematical Experiments |
Modular dynamical
systems and efficient computation of their trajectories |
The Regulation of
Restoration Algorithms |
|
|||
|
16:30-17:00 |
Break
|
|||||||
|
17:00-17:30 |
|
Mathematics and
Mathematica |
|
Operator
factorization methods in the form of a hypergeometric calculator based on the
use of Internet client-server technology |
|
|||
|
17:30-18:00 |
|
The algorithms of
discrete mathematics and graph theory with Mathematica and TI-83,89 |
|
|
|
|||
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,
Ilias
Kotsireas
& Nikolay Vassiliev
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 |
An algorithm for
solvability testing of elementary linear inequalities systems |
A Problem Solving
Environment for Numerical Partial Differential Equations |
Twin Hulls of Fixed
Point of a Volterra Integral Operator in Twin Spaces |
||||
|
09:30-10:00 |
Characteristic
polynomials of finitely generated modules over Weyl algebras |
A polynomial
algorithm of cubic complexity for solving systems of linear inequalities with
bounded integer variables and at most two variables per inequality |
An Approach from AI
to the Design of Routes in a Railway Interlocking |
Twin Hulls for the
Reachable Set of ODE Interval Systems |
|||||
|
10:00-10:30 |
Applications of
computer algebra in general relativity+ |
Construction of
primitive elements in differential modules |
Decidability and
undecidability of fuzzy and universal theories of ring of k-ary numbers |
SFTools ---
Knowledge Based and Educational System on Special Functions |
The Preliminary
Enclosing of the ODE Solutions on the Base of Cauchy-Duhamel Identity |
||||
|
10:30-11:00 |
Classification using
repetition-dependent transformation distance measure on strings |
Program of
solvability of linear equality and inequality systems with parameters |
Application of
Computer Algebra Systems to Construct Formulae of the Collocation and Least
Squares Method |
Choice of an initial
approximation for an iterative method of a solution of an interval system of
the linear algebraic equations |
|||||
|
11:00-11:30 |
Break |
||||||||
|
11:30-12:00 |
Poisson series
processor for analytical manipulations in celestial mechanics problems |
Computation of the
weight enumerators of the binary linear codes by linear programming |
Coherence theorems
and their use in computer algebra |
Operating Modeling
Environment on Multi-syntax Language Base |
An Application of
Interval Taylor Series for Solving Inertial Navigation Systems |
||||
|
12:00-12:30 |
Simplification of
tensor polynomials with indices |
Generalized chain fractions |
The Natural Style
Provers of Theorema: A Survey of Various Strategies for Different
Mathematical Domains |
Application of
Computer Algebra Systems to Construct High-Order Difference Schemes |
J - complex analysis
and interval mathematic |
||||
|
12:30-13:00 |
Application of
computational group theory for tensor simplification |
Monomial Filtrations
in the Ring of Formal Power Series |
Combining
Level-Saturation Strategies and Meta-Variables for Predicate Logic Proving in
Theorema |
Code Generation
Using Computer Algebra Systems |
Solving geometric
problems with interval parameters by means of symbolic construction plans |
||||
|
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 |
Formal validation of
Algebraic Identification algorithm: example of Duffing equation (F.
Benmakrouha, C. Hespel, G. Jacob & E. Monnier) |
Proving theorems in
Mathematical Information Environment+ |
Vector Finite
Difference Method |
Approximate
Quantified Constraint Solving By Cylindrical Box Decomposition |
||
|
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. |
Integrated
Environment BARSIC as a Tool for Development and Run-Time Support of Research
and Educational Software |
Universal algorithms
and Idempotent Interval Analysis |
|||
|
16:00-16:30 |
|
The Identification
of Continued Linear Dynamical Systems |
|
Computation of Janet
Bases. I. Monomial Bases |
Universal
Algorithms, Idempotent Mathematics and Interval Solutions of Optimization
Problems |
||
|
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 |
||
|
17:30-18:00 |
|
|
|
Solving Ordinary
Differential Equations by Equivalence Transformations |
|
||
June 27th,
Morning
A B C
D E
|
09:00-09:30 |
Polynomial
rootfinding and factorization |
On the Use of Derive
and MathCad When Training Teachers of Mathematics |
Perturbed
oscillators in resonance p:q:r |
Separability number
and Schurity number of coherent configurations |
Inner estimation of
a range of values |
||
|
09:30-10:00 |
Developing
Conceptual Understanding Through the Use of Computer Based Mathematics |
Structural invariant
synthesis of the multiparametrical nonlinear systems |
Discrete
Optimization Problems with Interval Data: Connection between Pareto Set of
Alternatives and the Set of Weak Solutions |
||||
|
10:00-10:30 |
How quickly can we
split generic polynomials? |
Learning Calculus of
Several Variables with New Technologies |
On Using the
Transformations of Coordinates in the Problems of Dynamics |
Separability and
Schurity of association schemes and the Graph Isomorphism Problem |
Verification of
Invertibility and Charting of Constraint Manifolds in Differential Algebraic
Equations |
||
|
10:30-11:00 |
Lower bounds for the
bilinear complexity of matrix multiplication and of associative algebras |
Computer Algebra and
Functional Programming in Mathematics Education |
On choosing scalings
for series expansion in singular perturbation problems |
The Role of
Circulant Graphs in Computer Science and How to Recognize Them Efficiently |
Differential
Algebraic Structures and Verification |
||
|
11:00-11:30 |
Break |
||||||
|
11:30-12:00 |
Completeness and
Reduction in Algebraic Complexity |
The Solver HM: A New
Software for Studying and Applying Mathematics |
Evolution of
caustics in dynamical systems with 2 degrees of freedom |
Graphs, codes, and
schemes from non-linear functions |
Best relative
placement: a new ability for spatial processing |
||
|
12:00-12:30 |
Decomposing Matrix
Algebras |
A Discrete Look at Elementary Functions |
Computer Algebra and
Random Regimes Analysis |
Coding theory and
uniform distributions |
Friction Models with
Interval Parameters |
||
|
12:30-13:00 |
Fast computations of
Integer Determinants |
MINOS SE - A New
Symbolic Computation Package with Intuitive ("Natural Syntax")
Interface |
Solution of the
principal resonance problem in the case of massless $\phi^4$ theory |
Computer search for
Moore graphs |
Combined
Interval-Analytical Constraint Satisfaction in Declarative Geometry |
||
|
13:15-15:00 |
Lunch
|
||||||
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 |
Indispensable Manual
Calculation Skills in a CAS Math Teaching Environment |
Recent results on
central configurations |
LanHEP --- a package
for automatic generation of Feynman rules from the Lagrangian |
Morphisms and
Binomial Ideals in Polynomial and Differential Polynomial Rings |
|
|
09:30-10:00 |
Complexity lower
bounds of Positivstellensatz proofs |
The application of
Computer Algebra to Central configuration dynamics |
Heat Invariants of
Differential Operators on Manifolds with Torsion |
Vector
Representations of Involutive Divisions and Some New Involutive Divisions |
||
|
10:00-10:30 |
Accuracy and
efficiency of parallel implementation of matrix multiplication |
Experimenting with
Mathematics by Mathematica |
|
Algebraic
calculations of multipole matrix elements |
Involutive Algebraic
and Differential Systems |
|
|
10:30-11:00 |
Systems of
polynomial equations: normal forms and effective algorithms |
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 |
Some Unexpected
Results Using Computer Algebra Systems |
|
Do we need
high-level languages in CA? The GiNaC approach |
Geometric-Algebraic
Completion of Linear Differential Equations |
|
|
12:00-12:30 |
Solving polynomial
systems of equations by Newton's method |
Preliminary Phases Of The Conversion Step And
Computer Algebra Systems |
|
Calculation of
Feynman diagrams in Computer Algebra |
Application of
Computer Algebra to Analysis of Differential Equations Systems Compatibility |
|
|
12:30-13:00 |
|
A Certain
Educational Course in Mechanics with Computer Algebra System |
|
|
Implementation of
the Differential Involutive Algorithms in the CAS Maple VR5 |
|
|
13:15-15:00 |
Lunch
|
|||||
E - Computer
Algebra Application to Involutivity and Group Analysis of Differential
Equations Vladimir Gerdt
& Fritz
Schwarz