Workshop on Symbolic and Numerical Scientific Computation (SNSC'99)   Johannes Kepler Universität Linz, Austria August 18 - 20, 1999

SNSC'99 is an open workshop of the SFB (special research initiative) "Numerical and Symbolic Scientific Computation". The goal of this workshop is to further the integration of methods in symbolic and numerical scientific computation. In addition to presentations by members of the SFB, several invited speakers will explain their approach to the integration of these two scientific fields. The following invited speakers are already confirmed: C. Bajaj (Univ. Texas at Austin, USA), K.O. Geddes (Univ. Waterloo, Canada), V. Gerdt (JINR Dubna, Russia), E. Kaltofen (North Carolina State Univ., USA), A. Lennartson (Royal Inst. Techn., Sweden), Wu W.D. (Beijing Mun.Computing Center, China), F. Ziegler (Techn. Univ. Vienna, Austria). Participation in the workshop is not limited to members of the SFB and invited speakers. Participants may present short talks at the workshop.

Topics of presentations include:

• multigrid methods for FEM
• computer aided geometric design
• computer supported derivation of mathematical knowledge
• constraint solving
• regularization techniques
• combinatorics and special functions
• qualitative analysis of differential equations
• visualization in scientific computation
• symbolic and numerical methods in engineering sciences

snsc99@risc.uni-linz.ac.at

Keith O. Geddes: ``Hybrid Symbolic-Numeric Methods Applied to Definite Integrals and ODEs''

Vladimir Gerdt: ``Involutive Bases Applied to Constrained Dynamical Systems and Differential-Algebraic Equations''

Erich Kaltofen: ``Efficient Algorithms for Computing the Nearest Polynomial with Parametrically Constrained Roots and Factors''

Anders Lennartson: ``Analysis of Mechanical Systems via Symbolic and Numerical Computation''

Wenda Wu: ``Matrix Eigenproblem Approach for Positive Dimensional Polynomial System''

Franz Ziegler: ``Linear Background Strategies in Nonlinear Dynamics''
 

Valentine Borisevich: ``Integrated Symbolic-Numerical Approach for Solving Systems of Non-Linear Algebraic Equations''

Gautam Dasgupta:  ``Stochastic Finite and Boundary Element Formulation via Symbolic Computation''

Wolfgang Hackbusch: ``Hierarchical Matrices''

Jochen Pfalzgraf: ``On Finding Zeros of Complex Polynomials: an Experimental Case Study''

Shojiro Sakata: ``Constructing Multivarite Polynomials with Preassigned Zeros''

Fritz Schwarz: ``Canonical Form Transformation of Second Order ODE's with Lie Symmetries''

Michael Trott: ``Visualization of Riemann Surfaces''

Ryszard Walentynski: ``Theory of Shells Assisted with Mathtensor''

Tudor Jebelean.: ``Proof Methods in THEOREMA''

Martin Burger: ``Training of Neural Networks as a Regularization Method''

Hans Irschik: ``The Elasto-Plastic Pendulum: Symbolic and Numerical Computations''

Michael Kuhn: ``Scientific Computing Tools''

Guenther Landsmann: ``Parametrization of Pipe and Canal Surfaces''

Petru Pau: ``Quantifier Elimination in the Presence of Trigonometric Functions''

Peter Paule: ``Symbolic Summation: Recent Progress''

Josef Schicho: ``Project Report: Proving and Solving Constraints over the Reals''

Josef Schicho, Joachim Schoeberl: ``Quantifier Elimination Problems in the Analysis of Subspace Correction Methods''

Armin Schoisswohl: ``A Matrix-Analytical Approach for Constructing Wavelets on Intervals''
 

Program demos may be arranged during breaks or in the evening.

List of Participants