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:

List of talks:

  1. Finite Difference Numerical Modelling Supported by Computer Algebra
    (Richard Liska)
  2. Ctadel: A Computer Algebra System for the Generation of Efficient Numerical Codes for PDEs
    (Robert van Engelen)
  3. Invariant Variational Principles and Associated Numerical Schemes for Regularization of Ill-Posed Problems
    (Ravi Venkatesan)
  4. A Symbolic Numeric Environment for Analyzing Measurement Data in Multi-Model Settings
    (Christoph Richard & Andreas Weber*)
  5. Group Invariant Finite-Difference Schemes for Advection Equation
    (Ravi C. Venkatesan)
  6. Usefulness of computer algebra methods in numerical simulations
    (Michel Fournie)
  7. Prototyping Symbolic-Numeric Algorithms using Naglink
    (Brian J. Dupee* & James H. Davenport)
  8. A symbolic-numerical package for linear stability analysis of numerical methods for ODEs
    (Massimo Cafaro & Beatrice Paternoster*)
  9. Extraction of Low Order Boolean Rules from Trained Neural Networks using a Computer Algebra System
    (Terence Etchells)


Last year IMACS ACA'98 Web page

This year IMACS ACA'99 Web page