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