\documentstyle{article}
\topmargin -0.75in
\headheight 0in
\headsep 0in
\oddsidemargin -0.75in
\textheight 10.5in
\textwidth 8in
\parindent=0pt
\pretolerance=9000
\pagestyle{empty}
\begin{document}
\begin{small}
%
\begin{center}
{\large FINAL Program for the 3rd International IMACS Conference on Applications of Computer Algebra}
\vskip .1in
{\renewcommand{\arraystretch}{1.25}
\doublerulesep=0.25pt
\begin{tabular}{|r||l|l|l|}
\hline
\multicolumn{4}{|c|}{\bf July 24, 1997 (Thursday)} \\
\hline\hline\hline\hline\hline
8:00 am & \multicolumn{3}{|c|}{{\bf Lokelani}: ACA'97 Welcome} \\
\hline\hline\hline\hline\hline
SESSION & \parbox[t]{2.16666666666667in}{
{\sc Computer Algebra Methods in Integration and Analysis of ODEs: Lie Symmetry Methods} \\
{\em Vladimir P. Gerdt} \\
\centerline{\bf Lokelani}
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
{\sc Moderated FORUM on Computer Algebra Systems} \\
{\em Michael Wester} \\
\centerline{\bf Lealoha}
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
{\sc Symbolic Computing Aspects of Multi-Agent Systems and Autonomous Agents} \\
{\em John Campbell} \\
\centerline{\bf Lehua}
\vskip .025in}
\\
\hline\hline\hline\hline\hline
8:15 am
& \parbox[t]{2.16666666666667in}{
An Algorithm for Constructing Integrating Factors and Corresponding First Integrals for Systems of ODE's \\
\em Stephen C. Anco \& George W. Bluman*
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Session starts after the first break \dots
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Integrating Computer Algebra Systems and Theorem Provers \\
\em Jacques Calmet
\vskip .025in}
\\
\cline{1-1}\cline{2-2}
8:45 am
& \parbox[t]{2.16666666666667in}{
Using Lie Groups to Solve Differential Equations \\
\em Stephen V. Coggeshall
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
\mbox{} \\
\em \mbox{}
\vskip .025in}
&
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
9:15 am & \multicolumn{3}{|c|}{\bf BREAK} \\
\hline
9:45 am
& \parbox[t]{2.16666666666667in}{
Three Methods for Exact Integration of ODEs Compared \\
\em Alexei Bocharov
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Panel \\
\em Richard Fateman, Hoon Hong, Robert Lewis, Michael Monagan, Richard Petti, Bill Pletsch, Stanly Steinberg, Michael Wester
\vskip .025in}
&
\\
\cline{1-1}\cline{2-2}\cline{4-4}
10:15 am
& \parbox[t]{2.16666666666667in}{
Moving Coframes \\
\em Peter Olver
\vskip .025in}
&
&
\\
\cline{1-1}\cline{2-2}\cline{4-4}
10:45 am
& \parbox[t]{2.16666666666667in}{
Quasi-exactly Solvable Spectral Problems for Ordinary Differential Operators \\
\em Niky Kamran
\vskip .025in}
&
&
\\
\cline{1-1}\cline{2-2}\cline{4-4}
11:15 am
& \parbox[t]{2.16666666666667in}{
Equivalence Classes and Symmetries of Abel's Equation \\
\em Fritz Schwarz
\vskip .025in}
&
&
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
11:45 am & \multicolumn{3}{|c|}{\bf LUNCH} \\
\hline\hline\hline\hline\hline
SESSION & \parbox[t]{2.16666666666667in}{
{\sc Algorithmic Analysis of PDEs using Elimination Algorithms} \\
{\em Greg Reid} \\
\centerline{\bf Lokelani}
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
{\sc Non-standard Applications} \\
{\em Eugenio Roanes-Lozano} \\
\centerline{\bf Lealoha}
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
{\sc Automatic Differentiation} \\
{\em Stephen Watt \& Christele Faure} \\
\centerline{\bf Lehua}
\vskip .025in}
\\
\hline\hline\hline\hline\hline
1:45 pm
& \parbox[t]{2.16666666666667in}{
Introduction to Geometric and Algebraic Algorithms for Nonlinear PDE \\
\em Gregory Reid
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Applications of Computer Algebra to Image Understanding, Object Recognition, and Computer Vision \\
\em Peter F. Stiller
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Automatic Differentiation in Computer Algebra Systems \\
\em Michael Monagan
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
2:15 pm
& \parbox[t]{2.16666666666667in}{
Moving Frames and Calculation of Lie Symmetry of PDE \\
\em Ian Lisle
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
A Polynomial Model for Multi-Valued Logics with a Touch of Algebraic Geometry and Computer Algebra \\
\em Eugenio Roanes-Lozano*, Luis M. Laita \& E. Roanes-Macias
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Data Assimilation in Meteorology: A Quest for Automatic Differentiation \\
\em Francois-Xavier Le Dimet
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}
2:45 pm
& \parbox[t]{2.16666666666667in}{
Applying the Factorization Technique for Simplification of Expressions Involving Differential Operator Inverses \\
\em Serguei P. Tsarev
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Progress in Natural Language Query in Macsyma \\
\em Richard J. Petti
\vskip .025in}
&
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
3:15 pm & \multicolumn{3}{|c|}{\bf BREAK} \\
\hline
3:30 pm
& \parbox[t]{2.16666666666667in}{
Application of Involutive Division Methods to Polynomial and Differential Equations \\
\em Vladimir P. Gerdt
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Nonequilibrium Molecular Dynamics Integration Using Maple \\
\em Debra J. Searles, Dennis J. Isbister* \& Denis J. Evans
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Automatic Differentiation of Code \\
\em Christele Faure
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
4:00 pm
& \parbox[t]{2.16666666666667in}{
Rankings of Partial Derivatives and Elimination Algorithms for PDE \\
\em Colin Rust
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Analyzing the Thermodynamics of Steam Reforming with Maple \\
\em Johannes Grotendorst* \& J\"urgen Dornseiffer
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Advanced Algorithms for Derivative Propagation \\
\em Jason Abate
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
4:30 pm
& \parbox[t]{2.16666666666667in}{
A Direct Construction Method for Conservation Laws of Partial Differential Equations \\
\em Stephen C. Anco \& George W. Bluman*
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Social Structures and Speeding Trucks: A Simulation with Experimentation \\
\em Michael A. Faia
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
To Be Announced \\
\em Stephen Watt
\vskip .025in}
\\
\hline\hline\hline\hline\hline
5:00 pm & \multicolumn{3}{|c|}{{\bf Lokelani:} ACA Business Meeting} \\
\hline
\end{tabular} }
\end{center}
%\clearpage
%
\begin{center}
%{\large FINAL Program for the 3rd International IMACS Conference on Applications of Computer Algebra}
%\vskip .25in
{\renewcommand{\arraystretch}{1.25}
\doublerulesep=0.25pt
\begin{tabular}{|r||l|l|l|}
\hline
\multicolumn{4}{|c|}{\bf July 25, 1997 (Friday)} \\
\hline\hline\hline\hline\hline
SESSION & \parbox[t]{2.16666666666667in}{
{\sc Computer Algebra Methods in Integration and Analysis of ODEs: Linear Equations and Hamiltonian Systems} \\
{\em Fritz Schwarz} \\
\centerline{\bf Lokelani}
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
{\sc Grand Challenges in Computer Algebra} \\
{\em Laurent Bernardin} \\
\centerline{\bf Lealoha}
\vskip .025in}
& \\
\hline\hline\hline\hline\hline
8:15 am
& \parbox[t]{2.16666666666667in}{
Characteristic Classes for Singularities of Linear Differential Equations \\
\em A. Levelt
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
The Six-Line Problem and Polynomial Resultants \\
\em Robert H. Lewis
\vskip .025in}
& \\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
8:45 am
& \parbox[t]{2.16666666666667in}{
Solving Linear Differential Equations with Polynomial Coefficients in Some Power Series Classes \\
\em Sergei A. Abramov
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Parallel Symbolic Computation on the Desk-Top \\
\em Wolfgang K\"uchlin
\vskip .025in}
& \\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
9:15 am
& \parbox[t]{2.16666666666667in}{
On the New Face of Kovacic's Algorithm \\
\em Manuel Bronstein
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
The Diatomic Anharmonic Oscillator According to Matrix Mechanics \\
\em Michael Monagan* \& John Ogilvie
\vskip .025in}
& \\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
9:45 am & \multicolumn{3}{|c|}{\bf BREAK} \\
\hline
10:15 am
& \parbox[t]{2.16666666666667in}{
Factorization of Linear Differential Operators \\
\em Mark van Hoeij
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Fast Multiprecision Evaluation of Series of Rational Numbers \\
\em Bruno Haible* \& Thomas Papanikolaou
\vskip .025in}
& \\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
10:45 am
& \parbox[t]{2.16666666666667in}{
Searching Local Periodic Families of ODEs in a Normal Form Method \\
\em Victor F. Edneral
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Computing on the Net or: Computer Algebra goes Java \\
\em Laurent Bernardin
\vskip .025in}
& \\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
11:15 am
& \parbox[t]{2.16666666666667in}{
\begin{tiny}
On Standard Bases over Newton's Polytopes: Generalization of Buchberger's Algorithm
\end{tiny} \\
\em Victor F. Edneral* \& Nikolay N. Vassiliev
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Parallel Polynomial Real Root Isolation \\
\em Werner Krandick
\vskip .025in}
& \\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
11:45 am & \multicolumn{3}{|c|}{\bf LUNCH} \\
\hline\hline\hline\hline\hline
SESSION & \parbox[t]{2.16666666666667in}{
{\sc Algorithmic Computation of Conservation Laws} \\
{\em Greg Reid, Thomas Wolf \& Alexei Bocharov} \\
\centerline{\bf Lokelani}
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
{\sc Grand Challenges in Computer Algebra} \\
{\em Laurent Bernardin} \\
\centerline{\bf Lealoha}
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
{\sc Computer Algebra in Education} \\
{\em Ian Cohen \& Martin Lesser} \\
\centerline{\bf Lehua}
\vskip .025in}
\\
\hline\hline\hline\hline\hline
1:45 pm
& \parbox[t]{2.16666666666667in}{
A Comparison of Two Methods to Calculate Conservation Laws of PDE systems \\
\em Thomas Wolf
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Factoring Univariate Polynomials over Finite Fields with LiDIA \\
\em Thomas Pfahler
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Teaching Basic Mechanics With Computer Algebra, Sophia and Maple \\
\em Martin Lesser
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
2:15 pm
& \parbox[t]{2.16666666666667in}{
Symbolic Computation of Conserved Densities for Nonlinear Evolution and Differential-Difference Equations \\
\em \"Unal G\"oktas* \& Willy Hereman
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Parallel Quantifier Elimination \\
\em Hoon Hong, Richard Liska, Nicolas Robidoux \& Stanly Steinberg
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Theorema: Application of Mathematica for Proof Training \\
\em Bruno Buchberger* \& Tudor Jebelean
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
SESSION & & \parbox[t]{2.16666666666667in}{
{\sc Software Integration} \\
{\em Olaf Bachmann \& Andreas Sorgatz} \
\vskip .01in}
& \\
\cline{1-1}\cline{3-3}
2:45 pm
& \parbox[t]{2.16666666666667in}{
Symmetric Conservation Laws \\
\em Mark Hickman
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
The MP protocol: Past, Present, Future \\
\em Simon Gray
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Improving Math Teaching with DERIVE and the TI-92: The Scaffolding Method \\
\em Bernhard Kutzler
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
3:15 pm & \multicolumn{3}{|c|}{\bf BREAK} \\
\hline
SESSION & \parbox[t]{2.16666666666667in}{
{\sc Computer Algebra in Robotics} \\
{\em Jochen Pfalzgraf} \
\vskip .01in}
& & \\
\cline{1-1}\cline{2-2}
3:30 pm
& \parbox[t]{2.16666666666667in}{
\begin{tiny}
Some Reflections on Knowledge Based System Modeling - Mathematical Aspects: Applications to Symbolic (and Geometric) Modeling of Robot Arms
\end{tiny} \\
\em Jochen Pfalzgraf
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Experiences on Software Integration Based on MP \\
\em Olaf Bachmann
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Computer Algebra Systems in Beginning College Mathematics Instruction \\
\em Bill Pletsch
\vskip .025in}
\\
\cline{1-1}\cline{3-3}\cline{4-4}
4:00 pm
&
& \parbox[t]{2.16666666666667in}{
Dynamically Linked Modules of MuPAD \\
\em Andreas Sorgatz
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
\begin{tiny}
Teaching Discrete Mathematics with Computer Algebra: A New Approach to Modern Algebra and Error-Correcting Codes
\end{tiny} \\
\em Kenneth Hulth* \& Igor Gachkov
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
4:30 pm
& \parbox[t]{2.16666666666667in}{
\begin{tiny}
Using the `Ausdehnungslehre' and `Mathematica' to Determine the Unknown Parameters of Grassmann Chain Mechanisms with Two and Three Input Sources
\end{tiny} \\
\em Gloria Bitterfeld
\vskip .025in}
& \parbox[t]{2.16666666666667in}{
Accomplishing Software Integration: Dynamic Linking vs Interprocess Communications \\
\em Olaf Bachmann, Simon Gray, Andreas Sorgatz \& Hannes Sch\"onemann
\vskip .025in}
&
\\
\cline{1-1}\cline{2-2}\cline{3-3}\cline{4-4}
\end{tabular} }
\end{center}
\clearpage
%
\begin{center}
{\large FINAL Program for the 3rd International IMACS Conference on Applications of Computer Algebra}
\vskip .25in
{\renewcommand{\arraystretch}{1.25}
\doublerulesep=0.25pt
\begin{tabular}{|r||l|l|}
\hline
\multicolumn{3}{|c|}{\bf July 26, 1997 (Saturday)} \\
\hline\hline\hline\hline\hline
SESSION & \parbox[t]{3.25in}{
{\sc Computer Algebra Methods in Integration and Analysis of ODEs: Approximate Solutions} \\
{\em Vladimir P. Gerdt \& Fritz Schwarz} \\
\centerline{\bf Lokelani}
\vskip .025in}
& \parbox[t]{3.25in}{
{\sc Problem Solving Environments/Symbolic-Numeric Interfaces} \\
{\em Bruce Char, Jeremy Johnson, Sanjiwa Weerawarana \&} \\
\centerline{\bf Lealoha}
\vskip .025in}
\\
\hline\hline\hline\hline\hline
8:30 am
& \parbox[t]{3.25in}{
Computer Algebra and the Method of Modified Equations \\
\em Mohammad O. Ahmed \& Robert M. Corless*
\vskip .025in}
& \parbox[t]{3.25in}{
Problem Solving Environments for Airshed Models \\
\em Donald Dabdub
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}
9:00 am
& \parbox[t]{3.25in}{
Nonlinear Differential Equations with Inexactly Known Boundary Conditions and Gr\"obner bases \\
\em Vladimir P. Gerdt*, Michael G. Dmitriev \& Marina V. Nesterova
\vskip .025in}
& \parbox[t]{3.25in}{
The PSEware Project: Infrastructure for Building Problem-Solving Environments \\
\em Randy Bramley
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}
9:30 am
& \parbox[t]{3.25in}{
Concepts and Algorithms of Computer Analysis for an Approximate Solution of ODE's \\
\em Karl Hantzschmann
\vskip .025in}
& \parbox[t]{3.25in}{
The Use of Algorithm Templates in a Problem Solving Environment for the Numerical Solution of Differential Equations \\
\em R. L. Akers, Elaine Kant, C. J. Randall, Stanly Steinberg* \& R. L. Young
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}
10:00 am & \multicolumn{2}{|c|}{\bf BREAK} \\
\hline
10:30 am
& \parbox[t]{3.25in}{
Point Mapping-Based Analysis of Nonlinear Systems Using Symbolic Algebra \\
\em Ramesh S. Guttalu* \& Henryk Flashner
\vskip .025in}
& \parbox[t]{3.25in}{
Vertically Averaged Stratified Fluid Flow Models - Analysis and Numerical Solution Supported by Computer Algebra Tools \\
\em Richard Liska* \& Burton Wendroff
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}
11:00 am
& \parbox[t]{3.25in}{
Curvature in Computer Vision \\
\em Cheri Shakiban
\vskip .025in}
& \parbox[t]{3.25in}{
Algorithm Stabilization Techniques and their Application to Symbolic Computation of Generalized Inverses \\
\em Hiroyuki Minakuchi, Hiroshi Kai, Kiyoshi Shirayanagi \& Matu-Tarow Noda*
\vskip .025in}
\\
\cline{1-1}\cline{2-2}\cline{3-3}
11:30 am
&
& \parbox[t]{3.25in}{
Panel Discussion: The Role of Computer Algebra in PSEs \\
\em Panel
\vskip .025in}
\\
\hline
\end{tabular} }
\end{center}
\clearpage
%
\end{small}
\end{document}
