ACA'97 Sessions

3rd International IMACS Conference on Applications of Computer Algebra

  1. Algorithmic Analysis of PDEs using Elimination Algorithms
  2. Algorithmic Computation of Conservation Laws
  3. Automatic Differentiation
  4. Computer Algebra in Education
  5. Computer Algebra in Robotics
  6. Computer Algebra Methods in Integration and Analysis of ODEs: Lie Symmetry Methods
  7. Computer Algebra Methods in Integration and Analysis of ODEs: Linear Equations and Hamiltonian Systems
  8. Computer Algebra Methods in Integration and Analysis of ODEs: Approximate Solutions
  9. Grand Challenges in Computer Algebra
  10. Moderated FORUM on Computer Algebra Systems
  11. Non-standard Applications
  12. Problem Solving Environments/Symbolic-Numeric Interfaces
  13. Software Integration
  14. Symbolic Computing Aspects of Multi-Agent Systems and Autonomous Agents

  1. Algorithmic Analysis of PDEs using Elimination Algorithms
    Organizer: Greg Reid (University of British Columbia, Canada)
    1. Introduction to Geometric and Algebraic Algorithms for Nonlinear PDE
      (Gregory Reid)
    2. Moving Frames and Calculation of Lie Symmetry of PDE
      (Ian Lisle)
    3. Applying the Factorization Technique for Simplification of Expressions Involving Differential Operator Inverses
      (Serguei P. Tsarev)
    4. Application of Involutive Division Methods to Polynomial and Differential Equations
      (Vladimir P. Gerdt)
    5. Rankings of Partial Derivatives and Elimination Algorithms for PDE
      (Colin Rust)
    6. A Direct Construction Method for Conservation Laws of Partial Differential Equations
      (Stephen C. Anco & George W. Bluman*)
  2. Algorithmic Computation of Conservation Laws
    Organizers: Greg Reid (University of British Columbia, Canada), Thomas Wolf (University of London, UK) & Alexei Bocharov (Wolfram Research)
    1. A Comparison of Two Methods to Calculate Conservation Laws of PDE systems
      (Thomas Wolf)
    2. Symbolic Computation of Conserved Densities for Nonlinear Evolution and Differential-Difference Equations
      (Ünal Göktas* & Willy Hereman)
    3. Symmetric Conservation Laws
      (Mark Hickman)
  3. Computer Algebra in Robotics
    Organizer: Jochen Pfalzgraf (University of Salzburg, Austria)
    1. Some Reflections on Knowledge Based System Modeling - Mathematical Aspects: Applications to Symbolic (and Geometric) Modeling of Robot Arms+
      (Jochen Pfalzgraf)
    2. Using the `Ausdehnungslehre' and `Mathematica' to Determine the Unknown Parameters of Grassmann Chain Mechanisms with Two and Three Input Sources
      (Gloria Bitterfeld)
  4. Computer Algebra Methods in Integration and Analysis of ODEs: Lie Symmetry Methods
    Organizer: Vladimir P. Gerdt (Dubna, Russia)
    1. An Algorithm for Constructing Integrating Factors and Corresponding First Integrals for Systems of ODE's
      (Stephen C. Anco & George W. Bluman*)
    2. Using Lie Groups to Solve Differential Equations
      (Stephen V. Coggeshall)
    3. Three Methods for Exact Integration of ODEs Compared
      (Alexei Bocharov)
    4. Moving Coframes
      (Peter Olver)
    5. Quasi-exactly Solvable Spectral Problems for Ordinary Differential Operators
      (Niky Kamran)
    6. Equivalence Classes and Symmetries of Abel's Equation
      (Fritz Schwarz)
  5. Computer Algebra Methods in Integration and Analysis of ODEs: Linear Equations and Hamiltonian Systems
    Organizer: Fritz Schwarz (GMD, St. Augustin, Germany)
    1. Characteristic Classes for Singularities of Linear Differential Equations
      (A. Levelt)
    2. Solving Linear Differential Equations with Polynomial Coefficients in Some Power Series Classes
      (Sergei A. Abramov)
    3. On the New Face of Kovacic's Algorithm
      (Manuel Bronstein)
    4. Factorization of Linear Differential Operators
      (Mark van Hoeij)
    5. Searching Local Periodic Families of ODEs in a Normal Form Method
      (Victor F. Edneral)
    6. On Standard Bases over Newton's Polytopes: Generalization of Buchberger's Algorithm
      (Victor F. Edneral* & Nikolay N. Vassiliev)
  6. Computer Algebra Methods in Integration and Analysis of ODEs: Approximate Solutions
    Organizers: Vladimir P. Gerdt (Dubna, Russia) & Fritz Schwarz (GMD, St. Augustin, Germany)
    1. Computer Algebra and the Method of Modified Equations
      (Mohammad O. Ahmed & Robert M. Corless*)
    2. Nonlinear Differential Equations with Inexactly Known Boundary Conditions and Gröbner bases
      (Vladimir P. Gerdt*, Michael G. Dmitriev & Marina V. Nesterova)
    3. Concepts and Algorithms of Computer Analysis for an Approximate Solution of ODE's
      (Karl Hantzschmann)
    4. Point Mapping-Based Analysis of Nonlinear Systems Using Symbolic Algebra
      (Ramesh S. Guttalu* & Henryk Flashner)
    5. Curvature in Computer Vision
      (Cheri Shakiban)
  7. Grand Challenges in Computer Algebra
    Organizer: Laurent Bernardin (ETH, Zürich, Switzerland)
    1. The Six-Line Problem and Polynomial Resultants
      (Robert H. Lewis)
    2. Parallel Symbolic Computation on the Desk-Top
      (Wolfgang Küchlin)
    3. The Diatomic Anharmonic Oscillator According to Matrix Mechanics
      (Michael Monagan* & John Ogilvie)
    4. Fast Multiprecision Evaluation of Series of Rational Numbers
      (Bruno Haible* & Thomas Papanikolaou)
    5. Computing on the Net or: Computer Algebra goes Java
      (Laurent Bernardin)
    6. Parallel Polynomial Real Root Isolation
      (Werner Krandick)
    7. Factoring Univariate Polynomials over Finite Fields with LiDIA
      (Thomas Pfahler)
    8. Parallel Quantifier Elimination
      (Hoon Hong, Richard Liska, Nicolas Robidoux & Stanly Steinberg)
  8. Moderated FORUM on Computer Algebra Systems
    Organizer: Michael Wester (Cotopaxi, Albuquerque, New Mexico, USA)
    1. Panel+++
      (Richard Fateman, Hoon Hong, Robert Lewis, Michael Monagan, Richard Petti, Bill Pletsch, Stanly Steinberg, Michael Wester)
  9. Non-standard Applications
    Organizer: Eugenio Roanes-Lozano (Madrid, Spain)
    1. Applications of Computer Algebra to Image Understanding, Object Recognition, and Computer Vision
      (Peter F. Stiller)
    2. A Polynomial Model for Multi-Valued Logics with a Touch of Algebraic Geometry and Computer Algebra
      (Eugenio Roanes-Lozano*, Luis M. Laita & E. Roanes-Macias)
    3. Progress in Natural Language Query in Macsyma
      (Richard J. Petti)
    4. Nonequilibrium Molecular Dynamics Integration Using Maple
      (Debra J. Searles, Dennis J. Isbister* & Denis J. Evans)
    5. Analyzing the Thermodynamics of Steam Reforming with Maple
      (Johannes Grotendorst* & Jürgen Dornseiffer)
    6. Social Structures and Speeding Trucks: A Simulation with Experimentation
      (Michael A. Faia)
  10. Automatic Differentiation
    Organizers: Stephen Watt (INRIA, Sophia-Antipolis, France) & Christele Faure
    1. Automatic Differentiation in Computer Algebra Systems
      (Michael Monagan)
    2. Data Assimilation in Meteorology: A Quest for Automatic Differentiation+
      (Francois-Xavier Le Dimet)
    3. Automatic Differentiation of Code
      (Christele Faure)
    4. Advanced Algorithms for Derivative Propagation
      (Jason Abate)

    5. (Stephen Watt)
  11. Problem Solving Environments/Symbolic-Numeric Interfaces
    Organizers: Bruce Char (Drexel University, Philadelphia, USA), Jeremy Johnson (Drexel University, Philadelphia, USA), Sanjiwa Weerawarana (Purdue University, USA) & Paul Wang (Kent State University, USA)
    1. Problem Solving Environments for Airshed Models
      (Donald Dabdub)
    2. The PSEware Project: Infrastructure for Building Problem-Solving Environments
      (Randy Bramley)
    3. The Use of Algorithm Templates in a Problem Solving Environment for the Numerical Solution of Differential Equations
      (R. L. Akers, Elaine Kant, C. J. Randall, Stanly Steinberg* & R. L. Young)
    4. Vertically Averaged Stratified Fluid Flow Models - Analysis and Numerical Solution Supported by Computer Algebra Tools
      (Richard Liska* & Burton Wendroff)
    5. Algorithm Stabilization Techniques and their Application to Symbolic Computation of Generalized Inverses
      (Hiroyuki Minakuchi, Hiroshi Kai, Kiyoshi Shirayanagi & Matu-Tarow Noda*)
    6. Panel Discussion: The Role of Computer Algebra in PSEs
      (Panel)
  12. Computer Algebra in Education
    Organizers: Ian Cohen (Stockholm, Sweden) & Martin Lesser (Stockholm, Sweden)
    1. Teaching Basic Mechanics With Computer Algebra, Sophia and Maple
      (Martin Lesser)
    2. Theorema: Application of Mathematica for Proof Training
      (Bruno Buchberger* & Tudor Jebelean)
    3. Improving Math Teaching with DERIVE and the TI-92: The Scaffolding Method
      (Bernhard Kutzler)
    4. Computer Algebra Systems in Beginning College Mathematics Instruction
      (Bill Pletsch)
    5. Teaching Discrete Mathematics with Computer Algebra: A New Approach to Modern Algebra and Error-Correcting Codes
      (Kenneth Hulth* & Igor Gachkov)
  13. Software Integration
    Organizers: Olaf Bachmann (Universitaet Kaiserslautern, Germany) & Andreas Sorgatz (University of Paderborn, Germany)
    1. The MP protocol: Past, Present, Future
      (Simon Gray)
    2. Experiences on Software Integration Based on MP
      (Olaf Bachmann)
    3. Dynamically Linked Modules of MuPAD
      (Andreas Sorgatz)
    4. Accomplishing Software Integration: Dynamic Linking vs Interprocess Communications
      (Olaf Bachmann, Simon Gray, Andreas Sorgatz & Hannes Schönemann)
  14. Symbolic Computing Aspects of Multi-Agent Systems and Autonomous Agents
    Organizer: John Campbell (University College, London, UK)
    1. Integrating Computer Algebra Systems and Theorem Provers+
      (Jacques Calmet)
Go back to the proceedings main page.