- Algorithmic Analysis of PDEs using Elimination Algorithms
- Algorithmic Computation of Conservation Laws
- Automatic Differentiation
- Computer Algebra in Education
- Computer Algebra in Robotics
- Computer Algebra Methods in Integration and Analysis of ODEs: Lie Symmetry Methods
- Computer Algebra Methods in Integration and Analysis of ODEs: Linear Equations and Hamiltonian Systems
- Computer Algebra Methods in Integration and Analysis of ODEs: Approximate Solutions
- Grand Challenges in Computer Algebra
- Moderated FORUM on Computer Algebra Systems
- Non-standard Applications
- Problem Solving Environments/Symbolic-Numeric Interfaces
- Software Integration
- Symbolic Computing Aspects of Multi-Agent Systems and Autonomous Agents

**Algorithmic Analysis of PDEs using Elimination Algorithms**

*Organizer:*Greg Reid (University of British Columbia, Canada)- Introduction to Geometric and Algebraic
Algorithms for Nonlinear PDE

(Gregory Reid) - Moving Frames and Calculation of Lie
Symmetry of PDE

(Ian Lisle) - Applying the Factorization Technique for
Simplification of Expressions Involving Differential Operator
Inverses

(Serguei P. Tsarev) - Application of Involutive Division
Methods to Polynomial and Differential Equations

(Vladimir P. Gerdt) - Rankings of Partial Derivatives and
Elimination Algorithms for PDE

(Colin Rust) - A Direct Construction Method for
Conservation Laws of Partial Differential Equations

(Stephen C. Anco & George W. Bluman*) **Algorithmic Computation of Conservation Laws**

*Organizers:*Greg Reid (University of British Columbia, Canada), Thomas Wolf (University of London, UK) & Alexei Bocharov (Wolfram Research)- A Comparison of Two Methods to Calculate
Conservation Laws of PDE systems

(Thomas Wolf) - Symbolic Computation of Conserved
Densities for Nonlinear Evolution and Differential-Difference
Equations

(Ünal Göktas* & Willy Hereman) - Symmetric Conservation Laws

(Mark Hickman) **Computer Algebra in Robotics**

*Organizer:*Jochen Pfalzgraf (University of Salzburg, Austria)- Some Reflections on Knowledge
Based System Modeling - Mathematical Aspects: Applications to Symbolic (and
Geometric) Modeling of Robot Arms+

(Jochen Pfalzgraf) - Using the `Ausdehnungslehre' and
`Mathematica' to Determine the Unknown Parameters of Grassmann Chain
Mechanisms with Two and Three Input Sources

(Gloria Bitterfeld) **Computer Algebra Methods in Integration and Analysis of ODEs: Lie Symmetry Methods**

*Organizer:*Vladimir P. Gerdt (Dubna, Russia)- An Algorithm for Constructing Integrating
Factors and Corresponding First Integrals for Systems of ODE's

(Stephen C. Anco & George W. Bluman*) - Using Lie Groups to Solve
Differential Equations

(Stephen V. Coggeshall) - Three Methods for Exact Integration of
ODEs Compared

(Alexei Bocharov) - Moving Coframes

(Peter Olver) - Quasi-exactly Solvable Spectral Problems
for Ordinary Differential Operators

(Niky Kamran) - Equivalence Classes and Symmetries of
Abel's Equation

(Fritz Schwarz) **Computer Algebra Methods in Integration and Analysis of ODEs: Linear Equations and Hamiltonian Systems**

*Organizer:*Fritz Schwarz (GMD, St. Augustin, Germany)- Characteristic Classes for Singularities
of Linear Differential Equations

(A. Levelt) - Solving Linear Differential Equations
with Polynomial Coefficients in Some Power Series Classes

(Sergei A. Abramov) - On the New Face of Kovacic's
Algorithm

(Manuel Bronstein) - Factorization of Linear Differential
Operators

(Mark van Hoeij) - Searching Local Periodic Families of
ODEs in a Normal Form Method

(Victor F. Edneral) - On Standard Bases over Newton's
Polytopes: Generalization of Buchberger's Algorithm

(Victor F. Edneral* & Nikolay N. Vassiliev) **Computer Algebra Methods in Integration and Analysis of ODEs: Approximate Solutions**

*Organizers:*Vladimir P. Gerdt (Dubna, Russia) & Fritz Schwarz (GMD, St. Augustin, Germany)- Computer Algebra and the Method of Modified
Equations

(Mohammad O. Ahmed & Robert M. Corless*) - Nonlinear Differential Equations with
Inexactly Known Boundary Conditions and Gröbner bases

(Vladimir P. Gerdt*, Michael G. Dmitriev & Marina V. Nesterova) - Concepts and Algorithms of
Computer Analysis for an Approximate Solution of ODE's

(Karl Hantzschmann) - Point Mapping-Based Analysis of
Nonlinear Systems Using Symbolic Algebra

(Ramesh S. Guttalu* & Henryk Flashner) - Curvature in Computer Vision

(Cheri Shakiban) **Grand Challenges in Computer Algebra**

*Organizer:*Laurent Bernardin (ETH, Zürich, Switzerland)- The Six-Line Problem and Polynomial
Resultants

(Robert H. Lewis) - Parallel Symbolic Computation on
the Desk-Top

(Wolfgang Küchlin) - The Diatomic Anharmonic
Oscillator According to Matrix Mechanics

(Michael Monagan* & John Ogilvie) - Fast Multiprecision Evaluation of
Series of Rational Numbers

(Bruno Haible* & Thomas Papanikolaou) - Computing on the Net or:
Computer Algebra goes Java

(Laurent Bernardin) - Parallel Polynomial Real Root
Isolation

(Werner Krandick) - Factoring Univariate Polynomials
over Finite Fields with LiDIA

(Thomas Pfahler) - Parallel Quantifier Elimination

(Hoon Hong, Richard Liska, Nicolas Robidoux & Stanly Steinberg) **Moderated FORUM on Computer Algebra Systems**

*Organizer:*Michael Wester (Cotopaxi, Albuquerque, New Mexico, USA)- Panel+++

(Richard Fateman, Hoon Hong, Robert Lewis, Michael Monagan, Richard Petti, Bill Pletsch, Stanly Steinberg, Michael Wester) **Non-standard Applications**

*Organizer:*Eugenio Roanes-Lozano (Madrid, Spain)- Applications of Computer Algebra
to Image Understanding, Object Recognition, and Computer Vision

(Peter F. Stiller) - 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) - Progress in Natural Language Query
in Macsyma

(Richard J. Petti) - Nonequilibrium Molecular
Dynamics Integration Using Maple

(Debra J. Searles, Dennis J. Isbister* & Denis J. Evans) - Analyzing the Thermodynamics
of Steam Reforming with Maple

(Johannes Grotendorst* & Jürgen Dornseiffer) - Social Structures and Speeding Trucks:
A Simulation with Experimentation

(Michael A. Faia) **Automatic Differentiation**

*Organizers:*Stephen Watt (INRIA, Sophia-Antipolis, France) & Christele Faure- Automatic Differentiation in Computer
Algebra Systems

(Michael Monagan) - Data Assimilation in Meteorology: A
Quest for Automatic Differentiation+

(Francois-Xavier Le Dimet) - Automatic Differentiation of
Code

(Christele Faure) - Advanced Algorithms for Derivative
Propagation

(Jason Abate)

(Stephen Watt)**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)- Problem Solving Environments for Airshed
Models

(Donald Dabdub) - The PSEware Project: Infrastructure for
Building Problem-Solving Environments

(Randy Bramley) - 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) - Vertically Averaged Stratified Fluid Flow
Models - Analysis and Numerical Solution Supported by Computer Algebra
Tools

(Richard Liska* & Burton Wendroff) - Algorithm Stabilization Techniques and
their Application to Symbolic Computation of Generalized Inverses

(Hiroyuki Minakuchi, Hiroshi Kai, Kiyoshi Shirayanagi & Matu-Tarow Noda*) - Panel Discussion: The Role of Computer Algebra in PSEs

(Panel) -
**Computer Algebra in Education**

*Organizers:*Ian Cohen (Stockholm, Sweden) & Martin Lesser (Stockholm, Sweden) - Teaching Basic Mechanics With
Computer Algebra, Sophia and Maple

(Martin Lesser) - Theorema: Application of
Mathematica for Proof Training

(Bruno Buchberger* & Tudor Jebelean) - Improving Math Teaching with
DERIVE and the TI-92: The Scaffolding Method

(Bernhard Kutzler) - Computer Algebra Systems in
Beginning College Mathematics Instruction

(Bill Pletsch) - Teaching Discrete Mathematics with
Computer Algebra: A New Approach to Modern Algebra and Error-Correcting
Codes

(Kenneth Hulth* & Igor Gachkov) **Software Integration**

*Organizers:*Olaf Bachmann (Universitaet Kaiserslautern, Germany) & Andreas Sorgatz (University of Paderborn, Germany)- The MP protocol: Past, Present,
Future

(Simon Gray) - Experiences on Software Integration
Based on MP

(Olaf Bachmann) - Dynamically Linked Modules of
MuPAD

(Andreas Sorgatz) - Accomplishing Software Integration:
Dynamic Linking vs Interprocess Communications

(Olaf Bachmann, Simon Gray, Andreas Sorgatz & Hannes Schönemann) **Symbolic Computing Aspects of Multi-Agent Systems and Autonomous Agents**

*Organizer:*John Campbell (University College, London, UK)- Integrating Computer Algebra Systems
and Theorem Provers+

(Jacques Calmet)