Future Research Directions in Problem Solving Environments for Computational Science

[1]  J. R. Rice,et al.  Mathematical software and ACM Publications , 1987, HSNC '87.

[2]  Ahmed K. Noor,et al.  Symbolic computations and their impact on mechanics , 1990 .

[3]  Naveen Sharma,et al.  Generating Finite Element Programs for Shared Memory Multiprocessors , 1990 .

[4]  Mark K. Segar.  A SLAP for the masses , 1989 .

[5]  Neil J. Hurley,et al.  An Integrated Problem Solving Environment for Numerical Simulation of Engineering Problems , 1991, Programming Environments for High-Level Scientific Problem Solving.

[6]  Kevin A. Broughan.  SENAC: Lisp as a Platform for Constructing a Problem Solving Environment , 1991, Programming Environments for High-Level Scientific Problem Solving.

[7]  Carl Glen Ponder.  Evaluation of performance enhancements in algebraic manipulation systems , 1988 .

[8]  Paul C. Abbott.  Problem Solving Using Mathematica , 1991, Programming Environments for High-Level Scientific Problem Solving.

[9]  J. A. van Hulzen,et al.  Automatic generation of FORTRAN-coded Jacobians and Hessians , 1987, EUROCAL.

[10]  Griewank,et al.  On automatic differentiation , 1988 .

[11]  Hans J. W. Spoelder,et al.  Distributed Visual Programming Environment: An Attempt to Integrate Third Generation Languages with Advanced User Environments , 1991, Programming Environments for High-Level Scientific Problem Solving.

[12]  Nelson C. Baker,et al.  Towards a Grammar for Structural Design , 1989 .

[13]  A. Hayes.  Mathematica: A system for doing mathematics by computer , 1993, The Mathematical Gazette.

[14]  Gene H. Golub,et al.  The Lanczos-Arnoldi algorithm and controllability , 1984 .

[15]  John R. Rice,et al.  Interface issues in a software parts technology , 1989 .

[16]  Stephen J. Hague.  Using Focus Technology to Build Front Ends , 1991, Programming Environments for High-Level Scientific Problem Solving.

[17]  Paul N. Hilfinger,et al.  5. FIDIL: A Language for Scientific Programming , 1989 .

[18]  Michael Lucks,et al.  Automated selection of mathematical software , 1992, TOMS.

[19]  Piyush Mehrotra,et al.  The BLAZE language: A parallel language for scientific programming , 1987, Parallel Comput..

[20]  John R. Rice,et al.  Solving elliptic problems using ELLPACK , 1985, Springer series in computational mathematics.

[21]  James M. Purtilo.  Dynamic Software Reconfiguration Supports Scientific Problem-solving Activities , 1991, Programming Environments for High-Level Scientific Problem Solving.

[22]  John G. Lewis,et al.  Sparse extensions to the FORTRAN Basic Linear Algebra Subprograms , 1991, TOMS.

[23]  Beresford N. Parlett,et al.  Progress in Numerical Analysis , 1978 .

[24]  Melvin Klerer,et al.  Interactive Systems for Experimental Applied Mathematics , 1968 .

[25]  A. Laub,et al.  Numerical linear algebra aspects of control design computations , 1985, IEEE Transactions on Automatic Control.

[26]  William J. Mitchell,et al.  Digital Design Media: A Handbook for Architects and Design Professionals , 1991 .

[27]  W. A. Martin,et al.  The MACSYMA system , 1971, SYMSAC '71.

[28]  James H. Davenport.  Current Problems in Computer Algebra Systems Design , 1990, DISCO.

[29]  Youcef Saad,et al.  A Basic Tool Kit for Sparse Matrix Computations , 1990 .

[30]  A. Bijl.  AI in architectural CAD , 1986 .

[31]  Michael T. Heath,et al.  Parallel Algorithms for Matrix Computations , 1987 .

[32]  A. Booth.  Numerical Methods , 1957, Nature.

[33]  G. O. Cook.  ALPAL, A PROGRAM TO GENERATE PHYSICS SIMULATION CODES FROM NATURAL DESCRIPTIONS , 1990 .

[34]  William Jalby,et al.  Impact of Hierarchical Memory Systems On Linear Algebra Algorithm Design , 1988 .

[35]  二宮 市三,et al.  Mathematical Software (数値解析とコンピューター) , 1975 .

[36]  Thomas C. Oppe,et al.  An overview of NSPCG: A nonsymmetric preconditioned conjugate gradient package , 1989 .

[37]  Gul A. Agha,et al.  Concurrent object-oriented programming , 1993, CACM.

[38]  Richard L. Peskin,et al.  A prototyping environment for differential equations , 1992, TOMS.

[39]  Zongli Lin,et al.  Fast Givens goes slow in MATLAB , 1991, SGNM.

[40]  Anthony C. Hearn,et al.  REDUCE 2: A system and language for algebraic manipulation , 1971, SYMSAC '71.

[41]  Jan E. Åman,et al.  SHEEP and Classification in General Relativity , 1985, European Conference on Computer Algebra.

[42]  Burton D. Fried,et al.  AN ON-LINE COMPUTING CENTER FOR SCIENTIFIC PROBLERS , 1963 .

[43]  Christoph M. Hoffmann,et al.  Geometric and Solid Modeling: An Introduction , 1989 .

[44]  Stewart A. Brown,et al.  How symbolic computation boosts productivity in the simulation of partial differential equations , 1991 .

[45]  James Marvin Purtilo.  A software interconnection technology to support specification of computational environments (polylith, module interconnection language) , 1986 .

[46]  Bobby Schnabel,et al.  An Overview of Dino - A New Language for Numerical Computation on Distributed Memory Multiprocessors , 1987, PPSC.

[47]  Symbolic derivation of material property matrices in finite element analysis , 1988 .

[48]  Ed Anderson,et al.  LAPACK Users' Guide , 1995 .

[49]  Ronald F. Boisvert.  The guide to available mathematical software advisory system , 1989 .

[50]  Garry Stevens,et al.  CADD Made Easy; A Comprehensive Guide for Architects, Designers, and Engineers; A Comprehensive , 1987 .

[51]  Ferenc Szelényi,et al.  Visualizing parallel execution of FORTRAN programs , 1991, IBM J. Res. Dev..

[52]  David S. Dodson,et al.  Issues relating to extension of the Basic Linear Algebra Subprograms , 1985, SGNM.

[53]  PAUL N. HILFINGER,et al.  FIDIL : A LANGUAGE FOR SCIENTIFIC PROGRAMMING , 1988 .

[54]  Yukio Umetani,et al.  Visual PDEQSOL: A Visual and Interactive Environment for Numerical Simulation , 1991, Programming Environments for High-Level Scientific Problem Solving.

[55]  John ffitch.  Can REDUCE be Run in Parallel? , 1989, ISSAC.

[56]  David A. Padua,et al.  Parcel: project for the automatic restructuring and concurrent evaluation of LISP , 1988, ICS '88.

[57]  Björn Engquist,et al.  Automatic analysis in PDE software , 1984 .

[58]  Stephen G. Nash,et al.  Guidelines for reporting results of computational experiments. Report of the ad hoc committee , 1991, Math. Program..

[59]  Peter J. Denning.  Massive parallelism in the future of science , 1988 .

[60]  Dominique Duval,et al.  Examples of Problem Solving Using Computer Algebra , 1991, Programming Environments for High-Level Scientific Problem Solving.

[61]  Granville Sewell,et al.  Analysis of a finite element method--PDE/PROTRAN , 1985 .

[62]  K. Young,et al.  AMERICAN SOCIETY OF MECHANICAL ENGINEERS. , 1880, Science.

[63]  John R. Rice,et al.  //ELLPACK: a numerical simulation programming environment for parallel MIMD machines , 1990, ICS '90.

[64]  Richard J. Fateman,et al.  Advances and trends in the design and construction of algebraic manipulation systems , 1990, ISSAC '90.

[65]  L. F. Coffin,et al.  Three dimensional singular element , 1981 .

[66]  David Gries,et al.  The 1988 snowbird report: a discipline matures , 1989, CACM.

[67]  Barry W. Peyton,et al.  Progress in Sparse Matrix Methods for Large Linear Systems On Vector Supercomputers , 1987 .

[68]  Y. Saad,et al.  Krylov Subspace Methods on Supercomputers , 1989 .

[69]  John R. Rice,et al.  ATHENA: A Knowledge Base System for //ELLPACK , 1990 .

[70]  Mary Lou Maher,et al.  Expert Systems: C. E. Potential , 1984 .

[71]  S. Amarel.  Keynote address: problems of representation in heuristic problem solving , 1986 .

[72]  Thomas Zimmermann,et al.  Object-oriented finite element programming: I: Governing principles , 1992 .

[73]  KennedyKathryn,et al.  Analysis and Transformation in the ParaScope Editor , 1991 .

[74]  D. A. Field.  From solid modeling to finite element analysis , 1986 .

[75]  John R. Rice,et al.  Mathematical aspects of scientific software , 1988 .

[76]  Neil Soiffer.  The design of a user interface for computer algebra systems , 1991 .

[77]  Youcef Saad,et al.  Overview of Krylov subspace methods with applications to control problems , 1989 .

[78]  Yukio Umetani,et al.  Interactive/visual DEQSOL: interactive creation, debugging, diagnosis and visualization of numerical simulation , 1989 .

[79]  Anthony C. Hearn.  Algebraic Computation: The Quiet Revolution , 1991, Artificial and Mathematical Theory of Computation.

[80]  Veronique Boisvert.  DEQSOL and ELLPACK : Problem Solving Environments For Partial Differential Equations , 1991 .

[81]  A. Laub.  Invariant Subspace Methods for the Numerical Solution of Riccati Equations , 1991 .

[82]  Gregory Butler,et al.  The Design of Cayley - a Language for Modern Algebra , 1990, DISCO.

[83]  Edward J. Farrell,et al.  Visual Interpretation of Complex Data , 1987, IBM Syst. J..

[84]  James R. Larus,et al.  Multiprocessing extensions in Spur Lisp , 1989, IEEE Software.

[85]  J C Boudreaux.  Problem solving and the evolution of programming languages , 1986 .

[86]  Tadashi Ohta,et al.  Automatic code generation method of DEQSOL (Differential EQuation SOlver Language) , 1987 .

[87]  Gaia Valeria Paolini,et al.  An interactive graphic tool to plot the structure of large sparse matrices , 1991, IBM J. Res. Dev..

[88]  Jack J. Dongarra,et al.  Distribution of mathematical software via electronic mail , 1985, SGNM.

[89]  Jenq Kuen Lee,et al.  Object oriented parallel programming: experiments and results , 1991, Proceedings of the 1991 ACM/IEEE Conference on Supercomputing (Supercomputing '91).

[90]  Joseph E. Flaherty,et al.  Towards the automatic numerical solution of partial differential equations , 1989 .

[91]  Thomas Zimmermann,et al.  Object-oriented finite element programming: III. An efficient implementation in C++ , 1993 .

[92]  John R. Rice,et al.  Parallel (//) ELLPACK: An Expert System for Parallel Processing of Partial Differential Equations , 1989 .

[93]  I. Duff,et al.  Direct Methods for Sparse Matrices , 1987 .

[94]  Jean Della Dora,et al.  Computer Algebra and Parallelism , 1989, Lecture Notes in Computer Science.

[95]  Richard L. Peskin,et al.  Smalltalk — the next generation scientific computing interface? , 1989 .

[96]  Wayne R. Dyksen,et al.  XELLPACK: An Interactive Problem Solving Environment for Elliptic Partial Differential Equations , 1988 .

[97]  Stephen M. Watt,et al.  Scratchpad II: An Abstract Datatype System for Mathematical Computation , 1988, Trends in Computer Algebra.

[98]  B Shneiderman.  Invited address: overcoming limitations imposed by current programming languages , 1986 .

[99]  Jack Dongarra,et al.  A Project for Developing a Linear Algebra Library for High-Performance Computers , 1989 .

[100]  John R. Rice,et al.  Numerical methods, software, and analysis , 1983 .

[101]  M. G. Richardson,et al.  Reconciling Symbolic and Numeric Computation in a Practical Setting , 1990, DISCO.

[102]  Donald P. Greenberg,et al.  Computers and Architecture , 1991 .

[103]  M. Shephard,et al.  Parallel computation with adaptive methods for elliptic and hyperbolic systems , 1990 .

[104]  Joseph E. Flaherty,et al.  Adaptive Methods for Partial Differential Equations , 1989 .

[105]  Richard J. Fateman,et al.  A Review of Macsyma , 1989, IEEE Trans. Knowl. Data Eng..

[106]  John ffitch,et al.  Symbolic computation and the finite element method , 1987, EUROCAL.

[107]  James M. Purtilo,et al.  Environments for Prototyping Parallel Algorithms , 1988, J. Parallel Distributed Comput..

[108]  John R. Rice,et al.  PROTRAN: Problem solving software , 1983 .

[109]  David A. Padua,et al.  Cedar Fortran and Its Compiler , 1990, CONPAR.

[110]  Richard Liska,et al.  Application of the REDUCE Computer Algebra System to Stability Analysis of Difference Schemes , 1989, Computers and Mathematics.

[111]  Graham F. Carey,et al.  A scalable, object-oriented finite element solver for partial differential equations on multicomputers , 1992, ICS '92.

[112]  Harry A. G. Wijshoff.  Implementing sparse BLAS primitives on concurrent/vector processors: a case study , 1993 .

[113]  Michael W. Berry,et al.  Matrix Visualization in the Design of Numerical Algorithms , 1990, INFORMS J. Comput..

[114]  Norbert Kajler,et al.  Building graphic user interfaces for Computer Algebra Systems , 1990, DISCO.

[115]  John G. Lewis,et al.  Proposed sparse extensions to the Basic Linear Algebra Subprograms , 1985, SGNM.

[116]  Kevin A. Broughan,et al.  Some symbolic computing links to the NAG numeric library , 1991, SIGS.

[117]  Ifip Tc,et al.  Programming Environments for High-Level Scientific Problem Solving, Proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September, 1991 , 1992, Programming Environments for High-Level Scientific Problem Solving.

[118]  M J Hopper,et al.  Harwell Subroutine Library. A Catalogue of Subroutines (1973). Supplement Number 2. , 1973 .

[119]  William J. Mitchell,et al.  Afterword: the design studio of the future , 1990 .

[120]  G. O. Cook,et al.  ALPAL: A tool to generate simulation codes from natural descriptions , 1991 .

[121]  Björn Engquist,et al.  Automatic Computer Code Generation for Hyperbolic and Parabolic Differential Equations , 1980 .

[122]  David M. Young,et al.  Iterative algorithms and software for solving large sparse linear systems , 1988 .

[123]  Marc Garbey,et al.  Symbolic manipulation software and the study of differential equations , 1991 .

[124]  Wayne R. Cowell,et al.  Sources and development of mathematical software , 1984 .

[125]  Shirley Dex,et al.  JR 旅客販売総合システム（マルス）における運用及び管理について , 1991 .

[126]  Thomas Zimmermann,et al.  Object-oriented finite element in programming: II: A prototype program in Smalltalk , 1992 .

[127]  W. Renes,et al.  The MATLAB Gateway Compiler. A Tool For Automatic Linking of Fortran Routines to MATLAB , 1991 .

[128]  A. Skjellum,et al.  The multicomputer toolbox: Scalable parallel libraries for large-scale concurrent applications , 1991 .

[129]  Sven Hammarling,et al.  SLICOT, a subroutine library in control and systems theory , 1991 .

[130]  Willard L. Miranker,et al.  Computer arithmetic in theory and practice , 1981, Computer science and applied mathematics.

[131]  Peter J. Denning,et al.  Computing as a discipline , 1989, Computer.

[132]  Michael Thuné.  Automatic GKS stbility analysis , 1986 .

[133]  Richard P. Gabriel,et al.  Qlisp: parallel processing in Lisp , 1989, IEEE Software.

[134]  Fritz Schwarz,et al.  Symmetries of Differential Equations: From Sophus Lie to Computer Algebra , 1988 .

[135]  S. S. Tong.  Integration of Symbolic and Numerical Methods for Optimizing Complex Engineering Systems , 1991, Programming Environments for High-Level Scientific Problem Solving.

[136]  B. H. McCormick,et al.  Visualization in scientific computing , 1995 .

[137]  Joseph E. Flaherty,et al.  EXPERIMENTS WITH AN ADAPTIVE H-, P-, AND R-REFINEMENT FINITE ELEMENT METHOD FOR PARABOLIC SYSTEMS , 1992 .

[138]  Eurocal '87 , 1987, Lecture Notes in Computer Science.

[139]  Paul S. Wang,et al.  FINGER: A Symbolic System for Automatic Generation of Numerical Programs in Finite Element Analysis , 1986, J. Symb. Comput..

[140]  Lawrence S. Kroll.  Mathematica--A System for Doing Mathematics by Computer. , 1989 .

[141]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[142]  Siu Shing Tong.  Coupling symbolic manipulation and numerical simulation for complex engineering designs , 1989 .

[143]  A. R. Newton,et al.  Electronic CAD Frameworks , 1992 .

[144]  Gerald J. Sussman,et al.  Intelligence in scientific computing , 1989, CACM.

[145]  V. Klema.  LINPACK user's guide , 1980 .

[146]  Paul S. Wang,et al.  SUI: a system independent user interface for an integrated scientific computing environment , 1990, ISSAC '90.

[147]  John R. Rice,et al.  Expert Systems for Scientific Computing , 1992 .

[148]  Arjan J. C. van Gemund,et al.  A method for parallel program generation with an application to the Booster language , 1990, ICS '90.

[149]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[150]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[151]  Yousef Saad,et al.  A benchmark package for sparse matrix computations , 1988, ICS '88.

[152]  George Vanecek.  Protosolid: An inside look , 1989 .

[153]  Carl Ponder,et al.  Parallel processors and systems for algebraic manipulation: current work , 1988, SIGS.

[154]  Leonard J. Bass,et al.  Developing software for the user interface , 1991, The SEI series in software engineering / Software Engineering Institute.

[155]  EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings , 1989 .

[156]  Piyush Mehrotra,et al.  Programming distributed memory architectures using Kali , 1990 .

[157]  Colin W. Cryer.  The ESPRIT Project FOCUS , 1991, Programming Environments for High-Level Scientific Problem Solving.

[158]  John R. Gilbert,et al.  Sparse Matrices in MATLAB: Design and Implementation , 1992, SIAM J. Matrix Anal. Appl..

[159]  C. S. Jog,et al.  A distributed environment for run-time visualization and application steering in computational mechanics , 1992 .

[160]  W. Greiman,et al.  Knowledge representations for the automatic generation of numerical simulators for PDEs , 1989 .