ACA'98
1999 IMACS Conference on Applications of Computer Algebra
Special Session:
Symbolic-Numeric Interface and Problem Solving Environments
Session Organizers:
Richard Liska,
liska@siduri.fjfi.cvut.cz,
Czech Technical University, Prague, Czech Republic
Stanly Steinberg,
stanly@math.unm.edu,
University of New Mexico, Albuquerque, U.S.A.
Robert van Engelen,
engelen@cs.fsu.edu,
Florida State University
This session has merged out of two original sessions "Symbolic-Numeric
Interface" and "Problem Solving Environments for Differential
Equations".
Abstract of the "Symbolic-Numeric Interface" session :
There are many ways of using computer algebra systems in numerical methods,
however these possibilities are not yet fully understood nor are they commonly
used by in the numerical community. This session will cover all the aspects of
computer algebra applications in numerics. The subjects include but are not
limited to: developing numerical methods, analysis of numerical methods,
code generation, combining symbolic and numeric methods, etc.
Abstract of the"Problem Solving Environments for Differential
Equations" session :
This session will focus on problem solving environments (PSEs) that are
designed to help users solve and understand the solutions of differential
equations:
- research in architecture, design, and methodology of PSEs
- innovative solution methods
- database and expert system technology for PSEs
- application-specific PSEs
- PSEs for high-performance and distributive computing (CORBA,
MPI, OpenMP)
- code synthesis, data-structure selection, and library
composition methods for solving differential equations
- simulation environments for differential-equation-based models
- visualization
- Web technology (Java, HTML, XML, mobile agents)
List of talks:
- Finite Difference Numerical Modelling
Supported by Computer Algebra
(Richard Liska)
- Ctadel: A Computer Algebra System for
the Generation of Efficient Numerical Codes for PDEs
(Robert van Engelen)
- Invariant Variational Principles and Associated Numerical Schemes for
Regularization of Ill-Posed Problems
(Ravi Venkatesan)
- A Symbolic Numeric Environment for
Analyzing Measurement Data in Multi-Model Settings
(Christoph Richard & Andreas Weber*)
- Group Invariant Finite-Difference
Schemes for Advection Equation
(Ravi C. Venkatesan)
- Usefulness of computer algebra methods
in numerical simulations
(Michel Fournie)
- Prototyping Symbolic-Numeric Algorithms
using Naglink
(Brian J. Dupee* & James H. Davenport)
- A symbolic-numerical package for linear
stability analysis of numerical methods for ODEs
(Massimo Cafaro & Beatrice Paternoster*)
- Extraction of Low Order Boolean Rules
from Trained Neural Networks using a Computer Algebra System
(Terence Etchells)
This year
IMACS ACA'99 Web page