PROBLEM SOLVING ENVIRONMENTS FOR SCIENTIFIC COMPUTING Proceedings of the IFIP TC 2/WG 2.5 Working Conference on Problem Solving Environments for Scientific Computing edited by B. FORD The Numerical Algorithms Group Ltd NAG Central Office Oxford, U.K. F. CHATELIN IBM Developpement Scientifique Paris, France 1987 NORTH-HOLLAND AMSTERDAM - NEW YORK - OXFORD - TOKYO ISBN 0-444-70254-7 CONTENTS SESSION 1 Chair: J.K. Reid, Discussant: J.C. T. Pool INTRODUCTION 1 The What and Why of Problem Solving Environments for Scientific Computing B. FORD and R.M.J. ILES 3 Discussion 19 The How and Which of Problem Solving Environments S.I. FELDMAN 23 Discussion 31 Data Access for Scientific Problem Solving J.W. BROWN 33 Discussion 47 General Discussion of the Session 49 SESSION 2 Chair: T.E. Hull, Discussant: H. Liddell EXAMPLES IN MATHEMATICS 53 Abstract Data Types in Numerical Software L.M. DELVES 55 Discussion 65 The Modulef Finite Element Library P. LAUG and M. VIDRASCU 67 Discussion 81 Automated Reasoning and Knowledge Base Design in the Scientific Programming Environment E.L. LUSK and R.A. OVERBEEK 83 Discussion 97 MATHEMATICS FOR PSE 99 Mathematics for Problem Solving Environments: Symbolic Computation J.H. DAVENPORT 103 Discussion 113 SESSION 3 Chair: C.L. Lawson, Discussant: P. Kemp HUMAN INTERFACE 117 Interactive Image Processing for Remotely Sensed Oceanographic Data P.M. ZION 119 Discussion 131 Voice I/0 and Natural Language Interfaces in Problem-Solving Environments G. PAPCUN 133 Discussion 145 DEQSOL: A Numerical Simulation Language for Vector/Parallel Processors Y. UMETANI, M. TSUJI, K. IWASAWA and 147 H. HIRAYAMA Discussion 163 MATHEMATICS FOR PSE 165 The Design of a Rotor: A Case Study H.W. McLAUGHLIN 167 Discussion 173 SESSION 4 Chair: M.H. Wright, Discussant: J.B. Webb EXAMPLES IN STATISTICS 175 Experiences with Statistical Systems J.A. NELDER 177 Discussion 185 S as a Programming Environment for Data Analysis and Graphics J.M. CHAMBERS 187 Discussion 195 SESSION 5 Chair: B.T. Smith, Discussant: S.J. Hague SYSTEM ARCHITECTURES - TRADE OFFS 197 AND CHOICES UNIX Systems for Scientific Computing P.J. WEINBERGER 199 Discussion 207 The Integration of Toolpack/IST G. CLEMM and L.J OSTERWEIL 209 Discussion 229 AN EXAMPLE - ELLPACK 231 ELLPACK: An Evolving Problem Solving Environment J.R. RICE 233 Discussion 243 SESSION 6 Chair: J. Kok, Discussant: L Gladwell OTHER SYSTEM ISSUES 247 Multiple Computer Systems Intercommunication and Connection W.M. GENTLEMAN 249 Discussion 261 Issues in the Design of Problem Solving Environments M. MACHURA 263 Discussion 279 LANGUAGES AND COMMAND INTERFACES 281 Specialized Language Centered Communication and its Automatic Implementation J. LOETZSCH 283 SESSION 7 Chair: J.K. Reid, Discussant: G.S. Hodgson OPEN SESSION 295 Construction of Algorithms and Programs for Computer Simulation of Electronic Circuits A. DABROWSKI 297 Discussion 307 Solving Design Problems by Integration of CAD and FEM Software M. BERCOVIER and G. BEROLD 309 Discussion 315 Incrementality in Problem Solving with Computers N. HOLSTI 317 Discussion 325 Speakeasy: The Development of a User-Designed Problem Solving System S. COHEN 327 Discussion 325 NAGlink -- A Working Symbolic/Numeric Interface K. BROUGHAN 343 Discussion 349 SESSION 8 Chair: L Dahstrand, Discussant: D. Parkinson LANGUAGES AND COMMAND INTERFACES 351 SISAL: An Experimental Applicative Language for Scientific Computing J.R. GURD, C.C. KIRKHAM and A.J. PARKER 353 Discussion 363 LISP: A Mature Environment J. FITCH 367 Discussion 377 FINALE: REVIEW OF MEETING 379 Scientific Workstations Versus Cray - Or Both? - The Present N.L. SCHRYER 381 Problem Solving Environments: The Future K.G. WILSON 387 PSE Folklore N.L. SCHRYER 393 General Discussion of the Session 399 LIST OF DEMONSTRATIONS AND POSTERS 405 LIST OF ATTENDEES 407 LIST OF AUTHORS 415