INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING
WORKING CONFERENCE ON PROGRAMMING ENVIRONMENTS FOR
HIGH-LEVEL SCIENTIFIC PROBLEM SOLVING
23 - 27 September 1991, Karlsruhe, Federal Republic of Germany.
The conference was supported by a grant from the European Research
Office of the U. S. Army.
TABLE OF CONTENTS
Preface v
Programme Committee vii
SESSION 1 INTRODUCTION 1
Chair Lloyd Fosdick, Discussant Mladen Vouk
Siu Shing Tong Integration of Symbolic and Numerical Methods
for Optimizing Complex Engineering Systems 3
W M Gentleman Symbiotic Computation:
Opportunities and Complications 21
Paul C Abbott Problem Solving Using Mathematica 33
SESSION 2 INTELLIGENT ASSISTANTS 47
Chair John Rice, Discussant Patrick Gaffney
Siegfried Rump Accuracy Control and Estimation,
Self-Validating Systems and Software
Environments for Scientific Computation 49
Willi Schoenauer Polyalgorithms with Automatic Method
Selection for the Iterative Solution of
Linear Equations and Eigenproblems 57
John A Nelder The Computer as Statistical Assistant 69
Ronald F Boisvert Toward an Intelligent System for
Mathematical Software Selection 79
SESSION 3 MATHEMATICAL METHODS 93
Chair Jacques Calmet, Discussant Hans Stetter
Masaaki Shimasaki Fractals in Quaternions and their
Application to Computer Graphics 95
Vladimir P Gerdt Computer Algebra Tools for Higher Symmetry
Analysis of Nonlinear Evolution Equations 107
Bruno Buchberger Groebner Bases in Mathematica:
Enthusiasm and Frustration 119
Dominique Duval Examples of Problem Solving using
Computer Algebra 133
SESSION 4 SYSTEMS AND TOOLS 145
Chair Mladen Vouk, Discussant T J Dekker
Stuart Feldman Environments for Large-Scale Scientific
Computation 147
Hans Zima Software Tools for Parallel Program
Development 157
Wayne R Dyksen Fortran Interface Blocks as an Interface
Description Language for Remote Procedure
Calls 179
Neil Hurley An Integrated PROBLEM Solving Environment
for Numerical Simulation of Engineering
Problems 191
SESSION 5 SYSTEM ENGINEERING I 203
Chair Stu Feldman, Discussant Stig Skelboe
Michael Clarkson Expert System as an Intelligent User
Interface for Symbolic Algebra 205
Alfonso Miola Design and implementation of symbolic
computation systems 217
Elias Houstis Parallel Ellpack: A Development and Problem
Solving Environment for High Performance
Computing Machines 229
Jim Purtilo Dynamic Software Reconfiguration Supports
Scientific Problem-Solving Activities 245
SESSION 6 INTERACTION AND VISUALIZATION 257
Chair Morven Gentleman, Discussant E N Houstis
Yukio Umetani Visual DEQSOL: A Visual and Interactive
Environment for Numerical Simulation 259
Eric Grosse Display of Functions of Three Space
Variables and Time Using Shaded Polygons
and Sound 271
Hans J W Spoelder Distributed Visual Programming Environment:
An Attempt to Integrate Third Generation
Languages with Advanced User Environments 279
Peter M Dew Visualization and its Use in Scientific
Computation 293
SESSION 7 OPEN SESSION 307
Chair Elias Houstis, Discussant Bo Einarsson
J A van Hulzen Automated Generation of Optimized Numerical
Code for Jacobians and Hessians 309
Niklas Holsti Transcript Editing, A Simple User Interface
Tool 321
Allan Bonadio Mathematical User Interfaces for Graphical
Workstations 331
John K Reid The Fortran 90 Standard 343
SESSION 8 SYSTEM ENGINEERING II 349
Chair Michel Bercovier, Discussant Brian Ford
Kevin Broughan SENAC: Lisp as a Platform for Constructing
a Problem Solving Environment 351
J R Rice Future Research Directions in Problem Solving
Environments for Computational Science 363
Colin W Cryer The ESPRIT Project FOCUS 371
Steve J Hague Using FOCUS Technology to Build Front Ends 383
List of Demonstrations 395
List of Attendees 397
List of Authors 405