ACA 2000 Sessions

6th International IMACS Conference on Applications of Computer Algebra

  1. Algebraic Algorithms and Complexity
  2. Approximate Algebraic Computation: towards Symbolic-Numeric Algorithms
  3. Association Schemes and their Applications
  4. Celestial Mechanics and General Relativity
  5. Computational Commutative and Differential Algebra
  6. Computational Number Theory and Group Theory
  7. Computer Algebra Application to Involutivity and Group Analysis of Differential Equations I
  8. Computer Algebra Application to Involutivity and Group Analysis of Differential Equations II
  9. Computer Algebra for Dynamical Systems and Mechanics I
  10. Computer Algebra for Dynamical Systems and Mechanics II
  11. Computer Algebra Meets Education I
  12. Computer Algebra Meets Education II
  13. Computer Algebra Methods in Control Systems and Applications
  14. Creative Mathematical and Logic Problem Solving Environment
  15. Groebner Bases and Applications
  16. High Energy and Nuclear Physics
  17. Interval and Computer-Algebraic Methods in Science and Engineering I
  18. Interval and Computer-Algebraic Methods in Science and Engineering II
  19. Non-standard Applications
  20. Problem Solving Environments for Differential Equations
  21. Teaching of Efficient Mathematics

  1. Computational Number Theory and Group Theory
    Organizers: Song Yan & Ilias Kotsireas
    1. How to create countable groups+
      (Anatoly Vershik)
    2. To be announced+
      (John McKay)
    3. Some weight distributions for binary codes
      (Igor Gachkov)
    4. Unitary fractions
      (Ilias Kotsireas)
    5. Representatives classes conjugation of nilpotet elements in a simple Lie algebra. Low dimensions
      (A. A. Suhanov)
    6. Fast computing with subgroup lattices in GAP
      (V. I. Mysovskih)
    7. Finitely Presented Universal Groups and Computational Algebra
      (Natasha Bozovic)
  2. Teaching of Efficient Mathematics
    Organizers: Alkiviadis G. Akritas & Gennadi Malaschonok
    1. The facilities of Theorema for teaching Logic and Mathematics
      (Bruno Buchberger & Tudor Jebelean)
    2. Teaching Linear Algebra with SVD Analysis
      (Alkiviadis Akritas)
    3. Virtual Mathematical Experiments
      (G. Albano, V. Martuscelli, S. Miranda & S. Salerno)
    4. Mathematics and Mathematica
      (G. Albano, C. D'Apice & R. Manzo)
    5. The algorithms of discrete mathematics and graph theory with Mathematica and TI-83,89
      (Igor Gachkov)
  3. Celestial Mechanics and General Relativity
    Organizer: Sergei Klioner
    1. Symplectic integrators and Computer Algebra in Celestial Mechanics+
      (J. Laskar)
    2. Applications of computer algebra in general relativity+
      (R. d'Inverno)
    3. Poisson series processor for analytical manipulations in celestial mechanics problems
      (T. V. Ivanova)
    4. Simplification of tensor polynomials with indices
      (X. Jaen & A. Balfagon)
    5. Application of computational group theory for tensor simplification
      (R. Portugal)
    6. On the number of independent components of an indexed object with symmetries
      (S. A. Klioner & N. N. Vassiliev)
    7. Application of GB technique to the geometry of pairs of Keplerian ellipses (K. V. Kholshevnikov & N. N. Vassiliev)
  4. Computer Algebra Methods in Control Systems and Applications
    Organizers: Gerard Jacob & Michael G. Dmitriev
    1. Formal validation of Algebraic Identification algorithm: example of Duffing equation (F. Benmakrouha, C. Hespel, G. Jacob & E. Monnier)
    2. The Construction of Adaptive Control Systems for Transport Means.
      (Zoya Ilyichenkova & Nina Zaharova)
    3. Computer Methods in Analytic Synthesis of Nonlinear Continuous-Decrete Control Systems
      (!!! Yevgeny I. Somov)
  5. Algebraic Algorithms and Complexity
    Organizer: Victor Pan
    1. Polynomial rootfinding and factorization+
      (Victor Pan)
    2. How quickly can we split generic polynomials?
      (D. J. Bernstein)
    3. Lower bounds for the bilinear complexity of matrix multiplication and of associative algebras
      (Markus Blaeser)
    4. Completeness and Reduction in Algebraic Complexity
      (Peter Buergisser)
    5. Decomposing Matrix Algebras
      (Wayne Eberly & Mark Giesbrecht)
    6. Fast computations of Integer Determinants
      (Mark Giesbrecht, Gilles Villard & Wayne Eberly)
    7. Efficient exponentiation in finite fields
      (Joachim von zur Gathen)
    8. Complexity lower bounds of Positivstellensatz proofs
      (Dima Grigoriev)
    9. Accuracy and efficiency of parallel implementation of matrix multiplication
      (Igor Kaporin)
    10. Systems of polynomial equations: normal forms and effective algorithms
      (Bernard Mourrain)
    11. Computations with structured matrices
      (Victor Pan)
    12. Solving polynomial systems of equations by Newton's method
      (Michael Shub)
  6. Groebner Bases and Applications
    Organizers: Quoc-Nam Tran & Alexander Levin
    1. Computer Algebra in Robust Stability Analysis
      (Nainn-Ping Ke)
    2. Groebner Bases and Involutive Bases
      (A. V. Astrelin & E. V. Pankratev)
    3. Discrete Comprehensive Groebner Bases
      (Yosuke Sato & Akira Suzuki)
    4. Generalized Characteristic Sets and Multivariable Differential Dimension Polynomials
      (Alexander Levin)
    5. An Application of Zero-dimensional Ideals in Experimental Design and Discrete Probability
      (Eva Riccomagno)
  7. Computer Algebra for Dynamical Systems and Mechanics I
    Organizers: Victor Edneral, Raya Khanin, Ilias Kotsireas & Nikolay Vassiliev
    1. Asymptotics of solutions of Euler equations for a rigid body
      (A. Aranson)
    2. Local simplification for systems of ordinary differential equations
      (I.Bacha)
    3. Parametric analysis of the stability of complex systems by means of computer algebra
      (A. V. Banshchikov & L. A. Bourlakova)
    4. Formal validation of Algebraic Identification algorithm: example of Duffing equation
      (F. Benmakrouha, C. Hespel, G. Jacob & E. Monnier)
    5. Integrable dynamical systems: new classes
      (L. Berkovich)
    6. Some applications of differential resultant systems
      (G. Carra' Ferro)
    7. Modular dynamical systems and efficient computation of their trajectories
      (N. Glazunov)
  8. Creative Mathematical and Logic Problem Solving Environment
    Organizer: Nickolai K. Kossovski
    1. An algorithm for solvability testing of elementary linear inequalities systems
      (Daniele Beauquier & Elena Smirnova)
    2. A polynomial algorithm of cubic complexity for solving systems of linear inequalities with bounded integer variables and at most two variables per inequality
      (Dmitri Davydok)
    3. Decidability and undecidability of fuzzy and universal theories of ring of k-ary numbers
      (Nikolai K. Kossovski)
    4. Program of solvability of linear equality and inequality systems with parameters
      (Evguenia Prokofieva)
    5. Applications of real/integer quantifier elimination to describe decidable classes of real-time verification
      (Anatol O. Slissenko)
    6. Coherence theorems and their use in computer algebra
      (Sergei Soloviev)
    7. Combining Level-Saturation Strategies and Meta-Variables for Predicate Logic Proving in Theorema
      (B. Konev & T. Jebelean)
    8. Proving theorems in Mathematical Information Environment+
      (A. Letichevsky, J. Kapitonova & V. Volkov)
    9. 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)
  9. Computer Algebra Meets Education I
    Organizers: Vlasta Kokol-Voljc & Bernhard Kutzler
    1. On the Use of Derive and MathCad When Training Teachers of Mathematics
      (Olga V. Lobanova)
    2. Developing Conceptual Understanding Through the Use of Computer Based Mathematics
      (Cynthia L. Glickman)
  10. Computer Algebra Meets Education II
    Organizers: Vlasta Kokol-Voljc & Bernhard Kutzler
    1. Learning Calculus of Several Variables with New Technologies
      (Francisco Javier Gonzalez, Alfonsa Garcia*, Francisco Garcia, Alvaro Franco, Pedro Franco, Agustin de la Villa, Sara Hoya & Gerardo Rodriguez)
    2. Computer Algebra and Functional Programming in Mathematics Education
      (Nina A. Kalinina* & Lidija V. Gorodnjaja)
    3. The Solver HM: A New Software for Studying and Applying Mathematics
      (Andrei I. Kirilov)
    4. A Discrete Look at Elementary Functions
      (Bill Pletsch)
    5. MINOS SE - A New Symbolic Computation Package with Intuitive ("Natural Syntax") Interface
      (Kyril Tintarev)
    6. Experimenting with Mathematics by Mathematica
      (Giovanna Albano*, Ciro D'Apice & Rosanna Manzo*)
    7. Using Math Software Packages and Mathematical Contest in Modeling (MCM) in China
      (Ye Qi-xiao)
    8. Indispensable Manual Calculation Skills in a CAS Math Teaching Environment+
      (Bernhard Kutzler)
    9. Plotting and Function Graphs as tools to face problem solving: A study with 12-13 year olds using graphing calculators
      (Tenoch E. Cedillo A.)
    10. Some Unexpected Results Using Computer Algebra Systems
      (Alfonsa Garcia*, Francisco Garcia, Felix Alonso, Agustin de la Villa, Sara Hoya & Gerardo Rodriguez)
    11. Preliminary Phases Of The Conversion Step And Computer Algebra Systems
      (Eno Tonisson)
    12. A Certain Educational Course in Mechanics with Computer Algebra System
      (M. V. Grosheva* & V. A. Samsonov)
  11. Approximate Algebraic Computation: towards Symbolic-Numeric Algorithms
    Organizers: Robert Corless, Tateaki Sasaki, Bernard Mourrain & Matu-Tarow Noda
    1. Solving Inverse Problem for Discrete Schrodinger Equation by Using CAS REDUCE
      (Svetlana I. Serdyukova)
    2. On Factorization of Interval Polynomials, Rational Approximation of Sufficiently Smooth Real Functions and Optimal Interval Evaluation
      (Glazunov Nikolay Mihaylovich)
    3. Hensel Construction of $F(x,u_1,...,u_n), n >= 2$, at a Singular point and Its Applications
      (Tateaki Sasaki)
    4. Bivariate Rational Approximation and Multivariate Approximate GCD
      (Hiroshi Kai & Matu-Tarow Noda)
    5. Wu's method for a system of floating point coefficient polynomial equations
      (Matu-Tarow Noda, Hiroshi Kai & Yoshio Notake)
    6. Symbolic-numeric methods for solving zero dimensional polynomial systems
      (Bernard Mourrain)
  12. Nonstandard Applications
    Organizers: Richard Liska, Stanly Steinberg & Michael Wester
    1. Algebra is Not Analysis
      (Jacques Carette, Rob Corless, David Jeffrey & Stephen Watt)
    2. A Computer Algebra-Based Expert System for Diagnosis of Anorexia
      (Cristina Perez-Carretero, Luis M. Laita, Eugenio Roanes-Lozano, Luis Lazaro & Jesus Gonzalez-Cajal)
    3. The Regulation of Restoration Algorithms
      (Svetlana Ivanova & Robert Ashinyants)
    4. Operator factorization methods in the form of a hypergeometric calculator based on the use of Internet client-server technology
      (V. A. Mitrofanov, O. S. Paramonova & A. W. Niukkanen)
  13. Computational Commutative and Differential Algebra
    Organizers: Alkiviadis G. Akritas, Gennadi Malaschonok & Eugeny Pankratiev
    1. Hensel lifting and solving systems of linear equations
      (G. Malaschonok)
    2. Fast matrix computation of subresultant polynomial remainder sequences
      (A. Akritas & G. Malaschonok)
    3. NO TITLE
      (N. Vassiliev)
    4. Characteristic polynomials of finitely generated modules over Weyl algebras
      (A. B. Levin)
    5. Construction of primitive elements in differential modules
      (M. V. Kondratieva, V. A. Mityunin & N. A. Makarevich)
    6. Classification using repetition-dependent transformation distance measure on strings
      (O. D. Golubitsky)
    7. Computation of the weight enumerators of the binary linear codes by linear programming
      (I. Gachkov)
    8. Generalized chain fractions
      (D. A. Maslov)
  14. Computer Algebra Application to Involutivity and Group Analysis of Differential Equations I
    Organizers: Vladimir Gerdt & Fritz Schwarz
    1. Computation of Janet Bases. I. Monomial Bases
      (Vladimir Gerdt, Yuri Blinkov & Denis Yanovich)
    2. Computation of Janet Bases. II. Polynomial Bases
      (Vladimir Gerdt, Yuri Blinkov & Denis Yanovich)
    3. Solving Ordinary Differential Equations by Equivalence Transformations
      (Matthias Berth)
  15. Computer Algebra for Dynamical Systems and Mechanics II
    Organizers: Victor Edneral, Raya Khanin, Ilias Kotsireas & Nikolay Vassiliev
    1. Perturbed oscillators in resonance p:q:r
      (A. Elipe & A. Riaguas)
    2. Structural invariant synthesis of the multiparametrical nonlinear systems
      (A. Flegontov)
    3. The Identification of Continued Linear Dynamical Systems
      (Z. Ilyichenkova, S. Ivanova & N. Zaharova)
    4. On Using the Transformations of Coordinates in the Problems of Dynamics
      (V. D. Irtegov & T. N. Titorenko)
    5. On choosing scalings for series expansion in singular perturbation problems
      (R. Khanin)
    6. Recent results on central configurations
      (I. Kotsireas)
    7. Evolution of caustics in dynamical systems with 2 degrees of freedom
      (A.Mioulliari)
    8. Computer Algebra and Random Regimes Analysis
      (I. E. Poloskov)
    9. The application of Computer Algebra to Central configuration dynamics
      (A. Rosaev)
    10. Solution of the principal resonance problem in the case of massless $\phi^4$ theory
      (S. Vernov)
  16. Problem Solving Environments for Differential Equations
    Organizers: Robert van Engelen & Stanly Steinberg
    1. A Problem Solving Environment for Numerical Partial Differential Equations
      (Stanly Steinberg)
    2. An Approach from AI to the Design of Routes in a Railway Interlocking
      (E. Roanes-Lozano & L. M. Laita)
    3. SFTools --- Knowledge Based and Educational System on Special Functions
      (A. B. Pirozhnikov)
    4. Application of Computer Algebra Systems to Construct Formulae of the Collocation and Least Squares Method
      (L. G. Semin & V. P. Shapeev)
    5. Operating Modeling Environment on Multi-syntax Language Base
      (A. V. Kosteltsev)
    6. Application of Computer Algebra Systems to Construct High-Order Difference Schemes
      (A. V. Shapeev)
    7. Code Generation Using Computer Algebra Systems
      (Michael Wester & John K. Prentice)
    8. Vector Finite Difference Method
      (Nicholas M. Bessonov)
    9. 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)
  17. Computer Algebra Application to Involutivity and Group Analysis of Differential Equations II
    Organizers: Vladimir Gerdt & Fritz Schwarz
    1. Morphisms and Binomial Ideals in Polynomial and Differential Polynomial Rings
      (Giuseppa Carra' Ferro)
    2. Vector Representations of Involutive Divisions and Some New Involutive Divisions
      (Yu-Fu Chen)
    3. Involutive Algebraic and Differential Systems+
      (Vladimir Gerdt)
    4. Geometric-Algebraic Completion of Linear Differential Equations
      (Marcus Hausdorf & Werner M. Seiler)
    5. Application of Computer Algebra to Analysis of Differential Equations Systems Compatibility
      (S. V. Meleshko & V. P. Shapeev)
    6. Implementation of the Differential Involutive Algorithms in the CAS Maple VR5
      (Vladimir A. Mityunin)
  18. High Energy and Nuclear Physics
    Organizers: Vyacheslav Ilyin, Michael Dubinin & Andrei Semenov
    1. LanHEP --- a package for automatic generation of Feynman rules from the Lagrangian
      (Andrei V. Semenov)
    2. Heat Invariants of Differential Operators on Manifolds with Torsion
      (Vladimir Kornyak)
    3. Algebraic calculations of multipole matrix elements
      (S. Yu. Slavyanov)
    4. Application of the Lambert W function in Perturbative Quantum Chromodynamics
      (B. A. Magradze)
    5. Do we need high-level languages in CA? The GiNaC approach
      (Richard Kreckel)
    6. Calculation of Feynman diagrams in Computer Algebra
      (Alexander Kryukov)
  19. Interval and Computer-Algebraic Methods in Science and Engineering I
    Organizers: V. M. Nesterov & Vladik Kreinovich
    1. Applications of Interval Sensitivity Analysis
      (Boris Dobronets)
    2. An Application of Interval Taylor Series for Solving Inertial Navigation Systems
      (D. A. Peregudov and V. S. Zyuzin)
    3. Analysis of Interval Models with Floating Bounds
      (Vladimir Krischuk, Galina Shilo, Nikolay Gaponenko)
    4. Twin Hulls of Fixed Point of a Volterra Integral Operator in Twin Spaces
      (Oleg B. Ermakov)
    5. Twin Hulls for the Reachable Set of ODE Interval Systems
      (Oleg B. Ermakov)
    6. The Preliminary Enclosing of the ODE Solutions on the Base of Cauchy-Duhamel Identity
      (Gregory G. Menshikov)
    7. Choice of an initial approximation for an iterative method of a solution of an interval system of the linear algebraic equations
      (L. Kupriyanova)
    8. Outer Estimation of Generalized Solution Sets to Interval Equations Systems
      (Sergey Shary)
    9. J - complex analysis and interval mathematic
      (O. S. Peskova and V. S. Zyuzin)
    10. Solving geometric problems with interval parameters by means of symbolic construction plans
      (R. Joan-Arinyo and N. Mata)
  20. Interval and Computer-Algebraic Methods in Science and Engineering II
    Organizers: V. M. Nesterov & Vladik Kreinovich
    1. Approximate Quantified Constraint Solving By Cylindrical Box Decomposition
      (Stefan Ratschan)
    2. Universal algorithms and Idempotent Interval Analysis
      (Grigiry Litvinov)
    3. Universal Algorithms, Idempotent Mathematics and Interval Solutions of Optimization Problems
      (G. L. Litvinov, A. N. Sobolevskii)
    4. Analysis of Dynamic System with Interval Parametric Uncertainty: Stability Margins in the Frequency Domain
      (Farit M. Akhmedjanov and Victor G. Krymsky)
    5. The Use of Interval-Symbolical Methods for Estimation of Domains of Attraction of ODE's
      (Alexey Rogalev)
    6. Inner estimation of a range of values
      (V. M. Nesterov)
    7. Discrete Optimization Problems with Interval Data: Connection between Pareto Set of Alternatives and the Set of Weak Solutions
      (Galina Kozina)
    8. Verification of Invertibility and Charting of Constraint Manifolds in Differential Algebraic Equations
      (Jens Hoefkens and Martin Berz)
    9. Differential Algebraic Structures and Verification
      (Kyoko Makino)
    10. Best relative placement: a new ability for spatial processing
      (Mohammad Reza Malek and Michael Hahn)
    11. Friction Models with Interval Parameters
      (N. A. Khlebalin and A. I. Kostikov)
    12. Combined Interval-Analytical Constraint Satisfaction in Declarative Geometry
      (Evgueni Roukoleev and Dmitry Ushakov)
  21. Association Schemes and their Applications
    Organizers: I. Ponomarenko & S. Evdokimov
    1. Graphs, codes, and schemes from non-linear functions
      (D. Fon-der-Flaass)
    2. The Role of Circulant Graphs in Computer Science and How to Recognize Them Efficiently
      (G. Tinhofer)
    3. Coding theory and uniform distributions
      (M. Skriganov)
    4. Separability and Schurity of association schemes and the Graph Isomorphism Problem
      (I. Ponomarenko)
    5. Separability number and Schurity number of coherent configurations
      (S. Evdokimov)
    6. Computer search for Moore graphs
      (Sergei Duzhin)
Go back to the ACA 2000 | main page.