On the Future of Problem Solving Environments

In this paper we review the current state of the problem solving ellvironment (PSE) field and make projections for the future. First we describe the computing context, the definition of a PSE and the goals of a PSE. The state-of-the-art is summarized along with sources (books, bibliographies, web site:;) of more detailed information. The principal components and paradigms for building PSEs are presented. The discussion of the future is given in three parts; future trends, scenarioo for 2010/2025, and research issues to be addres:;ed. "This work was supported in part by {\ grant from Kozo Keikaku Engineering, Inc.

[1]  J. C. R. Licklider,et al.  Man-Computer Symbiosis , 1960 .

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

[3]  Arvin W. Hahn.  REPORT TO THE PRESIDENT , 1964 .

[4]  J. Rice,et al.  NAPSS—a numerical analysis problem solving system , 1966, ACM '66.

[5]  Irene A. Stegun,et al.  Handbook of Mathematical Functions. , 1966 .

[6]  W. Teitelman.  PILOT: A STEP TOWARDS MAN-COMPUTER SYMBIOSIS , 1966 .

[7]  John R. Rice,et al.  An Evaluation of Five Polynomial Zero Finders , 1968 .

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

[9]  John R. Rice,et al.  A Set of 74 Test Functions for Nonlinear Equation Solvers , 1969 .

[10]  J. Rice,et al.  A comparison of some numerical integration programs , 1969, SGNM.

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

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

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

[14]  Peter Freeman.  Automating software design , 1974, Computer.

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

[16]  R. Hartwig,et al.  Interactive Storing, Retrieval, Transformation, and Evaluation of Scientific Data with an Experimental System , 1976 .

[17]  John R. Rice.  Algorithmic progress in solving partial differential equations , 1976, SGNM.

[18]  John R. Rice,et al.  The Algorithm Selection Problem , 1976, Adv. Comput..

[19]  John R. Rice,et al.  Evaluation of Numerical Methods for Elliptic Partial Differential Equations , 1978 .

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

[21]  John R. Rice,et al.  An Experimental Design for the Computational Evaluation of Elliptic Partial Differential Equations Solvers , 1978 .

[22]  John R. Rice,et al.  A System for Performance Evaluation of Partial Differential Equations Software , 1979, IEEE Transactions on Software Engineering.

[23]  Webb Miller,et al.  Software for Roundoff Analysis of Matrix Algorithms , 1980 .

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

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

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

[27]  John R. Rice,et al.  A Population of Linear, Second Order, Elliptic Partial Differential Equations on Rectangular Domains. Part 1 , 1981 .

[28]  Jeanine Weekes Schroer,et al.  The Finite String Newsletter Abstracts of Current Literature Glisp User's Manual , 2022 .

[29]  John R. Rice,et al.  High order methods for elliptic partial differential equations with singularities , 1982 .

[30]  John R. Rice,et al.  Performance analysis of 13 methods to solve the galerkin method equations , 1983 .

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

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

[33]  John R. Rice,et al.  The Performance of the Collocation and Galerkin Methods with Hermite Bi-Cubics , 1984 .

[34]  Björn Engquist,et al.  PDE Software : Modules, Interfaces and Systems , 1984 .

[35]  Ronald F. Boisvert,et al.  Guide to Available Mathematical Software. , 1984 .

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

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

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

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

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

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

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

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

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

[45]  James M. Purtilo.  Applications of a software interconnection system in mathematical problem solving environments , 1986, SYMSAC '86.

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

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

[48]  C. T. Meadow,et al.  On designing for usability: an application of four key principles , 1986, CHI '86.

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

[50]  Michael Stonebraker,et al.  The design of POSTGRES , 1986, SIGMOD '86.

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

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

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

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

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

[56]  Wayne R. Dyksen,et al.  Interactive ELLPACK: an interactive problem-solving environment for elliptic partial differential equations , 1987, TOMS.

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

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

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

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

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

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

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

[64]  William H. Press,et al.  Numerical Recipes in FORTRAN - The Art of Scientific Computing, 2nd Edition , 1987 .

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

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

[67]  Heinz Kredel,et al.  Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2 , 1988, ISSAC.

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

[69]  Colin W. Cryer,et al.  NAXPERT: a prototype expert system for numerical software , 1988 .

[70]  Patrizia Gianni.  ISSAC '88: proceedings of the international symposium on Symbolic and algebraic computation , 1988 .

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

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

[73]  Patrizia Gianni,et al.  Symbolic and Algebraic Computation , 1988, Lecture Notes in Computer Science.

[74]  Clifford Goodman,et al.  American Society of Mechanical Engineers , 1988 .

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

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

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

[78]  G. H. Gonnet.  Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989 , 1989, ISSAC.

[79]  Bruce W. Char,et al.  Automatic reasoning about numerical stability of rational expressions , 1989, ISSAC '89.

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

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

[82]  Guido Wirtz,et al.  Automatic transformation of high-level object-oriented specifications into parallel programs , 1989, Parallel Comput..

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

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

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

[86]  Patrizia Gianni.  Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings , 1989, ISSAC.

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

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

[89]  Roman E. Maeder,et al.  Programming in Mathematica , 1989 .

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

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

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

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

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

[95]  James M. Purtilo.  MINION: an environment to organize mathematical problem solving , 1989, ISSAC '89.

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

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

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

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

[100]  Paul S. Wang,et al.  GENCRAY: a portable code generator for cray fortran , 1989, ISSAC '89.

[101]  Thomas T. Hewett,et al.  Towards a Generic Strategy for Empirical Evaluation of Interactive Computing Systems , 1989 .

[102]  John Fitch.  Can REDUCE be run in parallel , 1989, ISSAC 1989.

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

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

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

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

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

[108]  Carla Limongelli,et al.  Design and Implementation of Symbolic Computation Systems , 1991, Lecture Notes in Computer Science.

[109]  J. Gastwirth.  Non-parametric Statistical Methods , 1990 .

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

[111]  Ronald F. Boisvert,et al.  The guide to available mathematical software problem classification system , 1990 .

[112]  John R. Rice,et al.  Software Performance Evaluation Papers in TOMS, Volumes 1-15 , 1990 .

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

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

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

[116]  Stephen Muggleton,et al.  Efficient Induction of Logic Programs , 1990, ALT.

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

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

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

[120]  J. ffitch.  A Delivery System for REDUCE , 1990, ISSAC.

[121]  William H. Press,et al.  Numerical Recipes: FORTRAN , 1988 .

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

[123]  John R. Rice,et al.  An Interactive Symbolic-Numeric Interface to Parallel ELLPACK for Building General PDE Solvers , 1990 .

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

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

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

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

[128]  Reiner Marzinkewitsch.  Operating computer algebra systems by handprinted input , 1991, ISSAC '91.

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

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

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

[132]  Michael T. Heath,et al.  Visualizing the performance of parallel programs , 1991, IEEE Software.

[133]  John R. Rice,et al.  Future Research Directions in Problem Solving Environments for Computational Science , 1991, Programming Environments for High-Level Scientific Problem Solving.

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

[135]  J PritchardD.  Concurrency: Practice and Experience , 1991 .

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

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

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

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

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

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

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

[143]  Colin Joseph DeSa.  Distributed problem solving environments for scientific computing , 1991 .

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

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

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

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

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

[149]  Allan Bonadio.  Mathematical User Interfaces for Graphical Workstations , 1991, Programming Environments for High-Level Scientific Problem Solving.

[150]  Stuart I. Feldman.  Environments for Large-Scale Scientific Computation , 1991, Programming Environments for High-Level Scientific Problem Solving.

[151]  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.

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

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

[154]  Bruce W. Char,et al.  Maple V Language Reference Manual , 1993, Springer US.

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

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

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

[158]  Keith O. Geddes,et al.  Hybrid symbolic-numeric integration in MAPLE , 1992, ISSAC '92.

[159]  Norbert Kajler,et al.  CAS/PI: a portable and extensible interface for computer algebra systems , 1992, ISSAC '92.

[160]  Dag Fritzson,et al.  The need for high-level programming support in scientific computing applied to mechanical analysis , 1992 .

[161]  John R. Rice,et al.  The Architecture of PDE Solving Systems , 1992 .

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

[163]  Grant O. Cook.  Code generation in ALPAL using symbolic techniques , 1992, ISSAC '92.

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

[165]  Juris Hartmanis,et al.  Computing the Future: A Broader Agenda for Computer Science and Engineering , 1992 .

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

[167]  Bo Kågström,et al.  Algorithm Development for Distributed Memory Multicomputers Using CONLAB , 1992, Sci. Program..

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

[169]  Paul S. Wang,et al.  A portable code generator for CRAY FORTRAN , 1992, TOMS.

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

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

[172]  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.

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

[174]  Richard D. Jenks,et al.  AXIOM: the scientific computation system , 1992 .

[175]  Michael C. Dewar,et al.  Using computer algebra to select numerical algorithms , 1992, ISSAC '92.

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

[177]  Vern Paxson,et al.  Glish: A User-Level Software Bus for Loosely-Coupled Distributed Systems , 1993, USENIX Winter.

[178]  Victor G. Ganzha,et al.  A probabilistic symbolic-numerical method for the stability analyses of difference schemes for PDEs , 1993, ISSAC '93.

[179]  Kjell Gustafsson.  Object-Oriented Implementation of Software for Solving Ordinary Differential Equations , 1993, Sci. Program..

[180]  Kornel Terplan,et al.  The network is the computer , 1993 .

[181]  Shigeo Kawata,et al.  Computer-Assisted Scientific-Computation/Simulation-Software-Development System. Including a Visualization System , 1993, University Education Uses of Visualization in Scientific Computing.

[182]  Richard Liska,et al.  Support-operators method for PDE discretization: symbolic algorithms and realization , 1993 .

[183]  Ernest A. Edmonds,et al.  Knowledge Support Systems for Conceptual Design: The Amplification of Creativity , 1993, HCI.

[184]  Ken Brodlie,et al.  GRASPARC-A problem solving environment integrating computation and visualization , 1993, Proceedings Visualization '93.

[185]  G. Sewell.  PDE2D: Easy-to-use software for general two-dimensional partial differential equations , 1993 .

[186]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[187]  Al Vermeulen,et al.  OON-SKI: An Introduction , 1993, Sci. Program..

[188]  Elaine Kant,et al.  Synthesis of mathematical-modeling software , 1993, IEEE Software.

[189]  John R. Rice,et al.  SoftLab—a virtual laboratory for computational science , 1994 .

[190]  Richard J. Fateman,et al.  Optical character recognition for typeset mathematics , 1994, ISSAC '94.

[191]  J.R. Rice.  Academic programs in computational science and engineering , 1994, IEEE Computational Science and Engineering.

[192]  K. M. Chandy.  Concurrent program archetypes , 1994, Proceedings Scalable Parallel Libraries Conference.

[193]  E. Gallopoulos,et al.  Computer as thinker/doer: problem-solving environments for computational science , 1994, IEEE Computational Science and Engineering.

[194]  John R. Rice,et al.  A Software Platform for Integrating Symbolic Computation with a PDE Solving Environment , 1994 .

[195]  Elias N. Houstis,et al.  The use of neural networks to support "intelligent" scientific computing , 1994, Proceedings of 1994 IEEE International Conference on Neural Networks (ICNN'94).

[196]  Sanjiva Weerawarana,et al.  Problem Solving Environments for Partial Differential Equation Based Applications (Ph.D. Thesis) , 1994 .

[197]  James M. Purtilo,et al.  The POLYLITH software bus , 1994, TOPL.

[198]  Jutta Willamowski,et al.  A development shell for cooperative problem-solving environments , 1994 .

[199]  B. Marsolf,et al.  Practical Issues Related to Developing Object-Oriented , 1994 .

[200]  William J. Mitchell,et al.  Digital Design Media , 1994 .

[201]  John R. Rice,et al.  An Open Structure for PDE Solving Systems , 1994 .

[202]  A. Sameh,et al.  On the Development of Libraries and their use in Applications , 1994 .

[203]  Marc Levoy,et al.  Parallel visualization algorithms: performance and architectural implications , 1994, Computer.

[204]  Un environnement coopératif de résolution de problèmes pour l'analyse statistique en écologie , 1994 .

[205]  J. A. van Hulzen,et al.  GENTRAN 90: a REDUCE package for the generation of Fortran 90 code , 1994, ISSAC '94.

[206]  William Gropp,et al.  Modern Software Tools in Scientific Computing , 1994 .

[207]  Dan C. Marinescu,et al.  Towards Problem Solving Environments for High Performance Computing , 1994 .

[208]  A. Griewank,et al.  Automatic differentiation of algorithms : theory, implementation, and application , 1994 .

[209]  Barry Smith.  Extensible PDE Solvers Package Users Manual , 1994 .

[210]  Tim Berners-Lee,et al.  The World-Wide Web , 1994, CACM.

[211]  A. Lumsdaine,et al.  A Sparse Matrix Library in C + + for High PerformanceArchitectures , 1994 .

[212]  Ronald F. Boisvert,et al.  The architecture of an intelligent virtual mathematical software repository system , 1994 .

[213]  Richard Barrett,et al.  Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods , 1994, Other Titles in Applied Mathematics.

[214]  John R. Rice,et al.  PDELab: An Object-Oriented Framework for Building Problem Solving Environments for PDE Based Applications , 1994 .

[215]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[216]  John Durkin,et al.  Expert Systems , 1994 .

[217]  H. H. ten Cate.  Applying abstraction and formal specification in numerical software design , 1995 .

[218]  Ivan Bratko,et al.  Applications of inductive logic programming , 1995, SGAR.

[219]  David A. Padua,et al.  FALCON: A MATLAB Interactive Restructuring Compiler , 1995, LCPC.

[220]  John R. Rice,et al.  Workshop on problem-solving environments: findings and recommendations , 1995, CSUR.

[221]  J. A. van Hulzen,et al.  The Application of Computer Algebra for the Discretization and Coding of the Navier-Stokes Equations , 1995 .

[222]  E.,et al.  FALCON: An Environment for the Development of Scientific Libraries and Applications , 1995 .

[223]  Thomas Sterling,et al.  System software and tools for high performance computing environments , 1995 .

[224]  Norbert Kajler,et al.  From honest to intelligent plotting , 1995, ISSAC '95.

[225]  Peter Fritzson,et al.  ObjectMath - An Object-Oriented Language and Environment for Symbolic and Numerical Processing in Scientific Computing , 1995, Sci. Program..

[226]  John R. Rice.  Computational science and the future of computing research , 1995 .

[227]  Robert Olson,et al.  Designing the future of collaborative science: Argonne's Futures Laboratory , 1995, IEEE Parallel Distributed Technol. Syst. Appl..

[228]  K. Dunbar.  HOW SCIENTISTS REALLY REASON: SCIENTIFIC REASONING IN REAL-WORLD LABORATORIES , 1995 .

[229]  John R. Rice,et al.  Neuro-Fuzzy Systems for Intelligent Scientific Computation , 1995 .

[230]  Robert Fourer,et al.  Expressing Special Structures in an Algebraic Modeling Language for Mathematical Programming , 1995, INFORMS J. Comput..

[231]  John R. Rice,et al.  //ELLPACK: A System for Simulating Partial Differential Equations , 1995 .

[232]  Elliot Soloway,et al.  Learning theory in practice: case studies of learner-centered design , 1996, CHI.

[233]  David Haussler,et al.  Mining scientific data , 1996, CACM.

[234]  Françoise Chaitin-Chatelin,et al.  Lectures on finite precision computations , 1996, Software, environments, tools.

[235]  H. H. ten Cate,et al.  On the Portability and Efficiency of Parallel Algorithms and Software , 1996, Parallel Comput..

[236]  Luiz A. DeRose,et al.  Compiler techniques for MATLAB programs , 1996 .

[237]  Anthony C. Hearn,et al.  Computer Algebra and the World Wide Web , 1996, DISCO.

[238]  Benjamin G. Zorn,et al.  A New Language Design for Prototyping Numerical Computation , 1996, Sci. Program..

[239]  Ronald F. Boisvert,et al.  The Quality of Numerical Software: Assessment and Enhancement , 1996, Quality of Numerical Software.

[240]  Henri Casanova,et al.  NetSovle: A Network Server for Solving Computational Science Problems , 1996, Proceedings of the 1996 ACM/IEEE Conference on Supercomputing.

[241]  William M. Coughran.  Network-based scientific computation via Inferno , 1996, Quality of Numerical Software.

[242]  David Leake,et al.  Case-Based Reasoning: Experiences, Lessons and Future Directions , 1996 .

[243]  Padhraic Smyth,et al.  From Data Mining to Knowledge Discovery: An Overview , 1996, Advances in Knowledge Discovery and Data Mining.

[244]  Kyuseok Shim,et al.  Developing Tightly-Coupled Data Mining Applications on a Relational Database System , 1996, KDD.

[245]  Computational Steering , 1996, HPCN Europe.

[246]  Gregory Butler.  Software Architectures for Computer Algebra: A Case Study , 1996, DISCO.

[247]  James R. Rice,et al.  From Scientific Software Libraries to Problem Solving Environments John R. Rice , 1996 .

[248]  Ulrich W. Kulisch,et al.  The XSC tools for extended scientific computing , 1996, Quality of Numerical Software.

[249]  John R. Rice,et al.  PYTHIA: a knowledge-based system to select scientific algorithms , 1996, TOMS.

[250]  Aart J. C. Bik,et al.  Compiler support for sparse matrix computations , 1996 .

[251]  Christian Bischof,et al.  Adifor 2.0: automatic differentiation of Fortran 77 programs , 1996 .

[252]  Paul S. Wang,et al.  Pluggability Issues in the Multi Protocol , 1996, DISCO.

[253]  John ffitch,et al.  Interfacing REDUCE to Java , 1996, DISCO.

[254]  Michael F. P. O'Boyle,et al.  Expert Programmer versus Parallelizing Compiler: A Comparative Study of Two Approaches for Distributed Shared Memory , 1996, Sci. Program..

[255]  Tetsuya Sakurai,et al.  A methodology of parsing mathematical notation for mathematical computation , 1996, ISSAC '96.

[256]  Stephen Wolfram,et al.  The Mathematica Book , 1996 .

[257]  John R. Rice,et al.  The Purdue PSE Kernel: Towards a Kernel for Building PSEs , 1996 .

[258]  Grid generation with orthogonality and uniformity of line-spacing changing ratio , 1996 .

[259]  Nigel P. Weatherill,et al.  A parallel simulation user environment for computational engineering , 1996 .

[260]  James H. Davenport,et al.  An Intelligent Interface to Numerical Routines , 1996, DISCO.

[261]  Christopher R. Johnson,et al.  The SCIRun Computational Steering Software System , 1997, SciTools.

[262]  Martin Berzins,et al.  SPRINT2D Software for Convection Dominated PDEs , 1996, SciTools.

[263]  Eric Grosse,et al.  Real Inferno , 1996, Quality of Numerical Software.

[264]  George Cybenko,et al.  Large-Scope Computing: A Challenge for the 21st Century , 1996 .

[265]  Saso Dzeroski,et al.  Inductive Logic Programming and Knowledge Discovery in Databases , 1996, Advances in Knowledge Discovery and Data Mining.

[266]  Shun Doi,et al.  Automatic parallel program generation for finite element analysis , 1996, Quality of Numerical Software.

[267]  Elias N. Houstis,et al.  Modern Software Techniques in Computational Finance , 1997, SciTools.

[268]  James M. Laffey,et al.  Building Internet-based electronic performance support for teaching and learning , 1996, WebNet.

[269]  Sandeep K. S. Gupta,et al.  Synthesizing efficient out-of-core programs for block recursive algorithms using block-cyclic data distributions , 1996, Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing.

[270]  A. Bruaset,et al.  Basic Tools for Linear Algebra , 1997 .

[271]  Efstratios Gallopoulos,et al.  CSE: content and product , 1997 .

[272]  Shigeo Kawata,et al.  Use of stored-numerical-data information extracted from a computing program in scientific visualization , 1997 .

[273]  Marc Abrams,et al.  Transforming Command-Line Driven Systems to Web Applications , 1997, Comput. Networks.

[274]  Geoffrey C. Fox,et al.  Java for parallel computing and as a general language for scientific and engineering simulation and modeling , 1997, Concurr. Pract. Exp..

[275]  E. R. Levine,et al.  A problem-solving Workbench for Interactive Simulation of Ecosystems , 1997 .

[276]  Geoffrey C. Fox,et al.  Petaops and Exaops: Supercomputing in the Web , 1997, IEEE Internet Comput..

[277]  Jack Dongarra,et al.  ScaLAPACK user's guide , 1997 .

[278]  William C. Regli.  Internet-Enabled Computer-Aided Design , 1997, IEEE Internet Comput..

[279]  Kenny Hunt,et al.  Refiner: a problem solving environment for ODE/DAE simulations , 1997, SIGS.

[280]  Geoffrey C. Fox.  Java for computational science and engineering – simulation and modeling II , 1997 .

[281]  Lex Wolters,et al.  Incorporating application dependent information in an automatic code generating environment , 1997, ICS '97.

[282]  Stephen J. Wright,et al.  NEOS: Optimization on the Internet , 1997 .

[283]  Object-Oriented Numerics , 1997 .

[284]  Rocco Rongo,et al.  High performance scientific computing by a parallel cellular environment , 1997, Future Gener. Comput. Syst..

[285]  A. Bruaset,et al.  A Comprehensive Set of Tools for Solving Partial Differential Equations; Diffpack , 1997 .

[286]  Clifford A. Shaffer,et al.  Sieve: A Java-Based Collaborative Visualization Environment , 1997 .

[287]  Edwin A. H. Vollebregt,et al.  Abstract Level Parallelization of Finite Difference Methods , 1997, Sci. Program..

[288]  Efstratios Gallopoulos,et al.  The interactive restructuring of MATLAB programs using the FALCON environment , 1997, Proceedings Innovative Architecture for Future Generation High-Performance Processors and Systems.

[289]  Elias N. Houstis,et al.  MultiAgent Systems to Support Networked Scientific Computing , 1997 .

[290]  John R. Rice,et al.  Scientific computing via the Web: the Net Pellpack PSE server , 1997 .

[291]  E. Gallopoulos,et al.  Problem-solving Environments For Computational Science , 1997, IEEE Computational Science and Engineering.

[292]  Elias N. Houstis,et al.  EPPOD: A Problem Solving Environment for Parallel Electronic Prototyping of Physical Object Design , 1997, J. Parallel Distributed Comput..

[293]  Bret A Marsolf,et al.  Techniques for the Interactive Development of Numerical Linear Algebra Libraries for Scientific Computation , 1997 .

[294]  John R. Rice,et al.  Multi-agent simulation of complex heterogeneous models in scientific computing , 1997 .

[295]  Duane S. Boning,et al.  A Matrix Math Library for Java , 1997, Concurr. Pract. Exp..

[296]  Øyvind Hjelle,et al.  Software Tools for Modelling Scattered Data , 1997 .

[297]  Opusc A Coordination Language for Multidisciplinary Applications , 1997 .

[298]  Elaine Kant,et al.  Using program synthesis to price derivatives , 1997 .

[299]  Michael Thuné,et al.  Object-Oriented Software Tools for the Construction of Preconditioners , 1997, Sci. Program..

[300]  John R. Rice,et al.  Recommender Systems for Problem Solving Environments , 1997 .

[301]  James Demmel,et al.  On Parallel Numerical Software Libraries , 1997 .

[302]  John R. Rice,et al.  Neuro-fuzzy approaches to collaborative scientific computing , 1997, Proceedings of International Conference on Neural Networks (ICNN'97).

[303]  Hans Petter Langtangen,et al.  On the Numerical Efficiency of C++ in Scientific Computing , 1997 .

[304]  John R. Rice,et al.  Notebook interfaces for networked scientific computing: design and WWW implementation , 1997, Concurr. Pract. Exp..

[305]  Jarke J. van Wijk,et al.  Computational steering , 1997, Future Gener. Comput. Syst..

[306]  Geoffrey C. Fox,et al.  WebFlow - a visual programming paradigm for Web/Java based coarse grain distributed computing , 1997, Concurr. Pract. Exp..

[307]  L. Trefethen,et al.  Numerical linear algebra , 1997 .

[308]  Anne E. Trefethen,et al.  MultiMATLAB Integrating MATLAB with High Performance Parallel Computing , 1997, ACM/IEEE SC 1997 Conference (SC'97).

[309]  Matthew Haines,et al.  A Coordination Language for Multidisciplinary Applications , 1997, Sci. Program..

[310]  Robert L. Young,et al.  SciNapse: a problem-solving environment for partial differential equations , 1997 .

[311]  Jack Dongarra,et al.  Developing numerical libraries in Java , 1998 .

[312]  Robert van Engelen,et al.  CTADEL: A Generator of Efficient Numerical Codes , 1998 .

[313]  Marcin Paprzycki,et al.  High Performance Computing: Challenges for Future Systems , 1998, IEEE Concurrency.

[314]  Salim Hariri,et al.  A Problem Solving Environment for Network Computing , 1998 .

[315]  Geoffrey C. Fox,et al.  High-performance commodity computing , 1998 .

[316]  Dennis Gannon,et al.  Developing component architectures for distributed scientific problem solving , 1998 .

[317]  Henri Casanova,et al.  Using Agent-Based Software for Scientific Computing in the NetSolve System , 1998, Parallel Comput..

[318]  Yves Bertot,et al.  A Generic Approach to Building User Interfaces for Theorem Provers , 1998, J. Symb. Comput..

[319]  Michelle Miller,et al.  An integrated problem solving environment: the SCIRun computational steering system , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[320]  George K. Thiruvathukal,et al.  A computational framework for telemedicine , 1998, Future Gener. Comput. Syst..

[321]  Jack Dongarra,et al.  Network-Enabled Solvers And the NetSolve Project , 1998 .

[322]  Jacques Calmet.  Computer algebra and artificial intelligence , 1998 .

[323]  Paul S. Wang,et al.  Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions , 1998, J. Symb. Comput..

[324]  John R. Rice,et al.  PELLPACK: a problem-solving environment for PDE-based applications on multicomputer platforms , 1998, TOMS.

[325]  Andy Hopper,et al.  Virtual Network Computing , 1998, IEEE Internet Comput..

[326]  Geoffrey C. Fox,et al.  WebFlow - High-Level Programming Environment and Visual Authoring Toolkit for High Performance Distributed Computing , 1998, Proceedings of the IEEE/ACM SC98 Conference.

[327]  Robert L. Young,et al.  Automatic synthesis of numerical codes for solving partial differential equations , 1998 .

[328]  A.K. Noor,et al.  Beyond Incremental Change , 1998, Computer.

[329]  Neil Soiffer,et al.  A Survey of User Interfaces for Computer Algebra Systems , 1998, J. Symb. Comput..

[330]  Michael C. Ferris,et al.  Expressing Complementarity Problems in an Algebraic Modeling Language and Communicating Them to Solvers , 1999, SIAM J. Optim..

[331]  Dennis G. Kafura,et al.  Symphony: a Java-based composition and manipulation framework for distributed legacy resources , 1999, 1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.

[332]  James Demmel,et al.  LAPACK Users' Guide, Third Edition , 1999, Software, Environments and Tools.

[333]  Stephen J. Wright,et al.  Optimization Case Studies in the NEOS Guide , 1999, SIAM Rev..

[334]  Geoffrey C. Fox,et al.  The gateway system: uniform Web based access to remote resources , 1999, JAVA '99.

[335]  Sandeep K. S. Gupta,et al.  Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions , 1999, IEEE Trans. Parallel Distributed Syst..

[336]  Maozhen Li,et al.  An XML Based Component Model for Generating Scientific Applications and Performing Large Scale Simulations in a Meta-computing Environment , 1999, GCSE.

[337]  Geoffrey C. Fox,et al.  Using Gateway system to provide a desktop access to high performance computational resources , 1999, Proceedings. The Eighth International Symposium on High Performance Distributed Computing (Cat. No.99TH8469).

[338]  Antony Unwin,et al.  Requirements for interactive graphics software for exploratory data analysis , 1999, Comput. Stat..

[339]  J. Gray.  Information Technology Research: Investing in Our Future , 1999 .

[340]  F. Rana,et al.  Bringing together Mobile Agents and NumericalAnalysis in PSEsOmer , 1999 .

[341]  Hans Petter Langtangen,et al.  Computational Partial Differential Equations - Numerical Methods and Diffpack Programming , 1999, Lecture Notes in Computational Science and Engineering.

[342]  Olivier Beaumont,et al.  Aquarels: A Problem-Solving Environment for Validating Scientific Software , 2000 .

[343]  Thomas T. Hewett,et al.  Toward a Human Centered Scientific Problem Solving Environment , 2000 .

[344]  Nigel P. Weatherill,et al.  Visual Steering of Grid Generation in a Parallel Simulation User Environment , 2000 .

[345]  Santiago V. Lombeyda,et al.  TECHTALK: A WEB BASED SYSTEM FOR MATHEMATICAL COLLABORATION , 2000 .

[346]  Yuan Zheng.  Object-Oriented Finite Element Programming , 2000 .

[347]  John R. Rice,et al.  Enabling Technologies for Computational Science , 2000 .

[348]  K. Mani Chandy,et al.  Managing Specificity and Generality: Tailoring General Archetypal PSEs to Specific Users , 2000 .

[349]  Lutz Grosz.  VECFEM-SOLVER FOR NON-LINEAR PARTIAL DIFFERENTIAL EQUATIONS , 2000 .

[350]  Lex Wolters,et al.  The CTADEL Application Driver , 2000 .

[351]  Shigeo Kawata,et al.  Visual Steering of the Simulation Process in a Scientific Numerical Simulation Environment NCAS , 2000 .

[352]  Richard J. Fateman,et al.  Problem Solving Environments and Symbolic Computing , 2000 .

[353]  Mauro Leoncini,et al.  A Java Framework for Internet Distributed Computations , 2000 .

[354]  John R. Rice,et al.  SoftLab: A Virtual Laboratory Framework for Computational Science , 2000 .

[355]  A. Fujita.  Computer-Assisted Parallel Program Generation System P-NCAS from Mathematical Model-Visualization and Steering of Parallel Program Generation Process- , 2000 .

[356]  Harry G. Perros,et al.  Performance of Network-Based Problem-Solving Environments , 2000 .

[357]  John R. Rice,et al.  A knowledge discovery methodology for the performance evaluation of scientific software , 2000, Neural Parallel Sci. Comput..

[358]  R. Fateman.  Improving Exact Integrals From Symbolic Algebra Systems , 2000 .

[359]  Naren Ramakrishnan,et al.  PYTHIA-II: a knowledge/database system for managing performance data and recommending scientific software , 2000, TOMS.

[360]  Geoffrey C. Fox,et al.  The Gateway system: uniform web based access to remote resources , 2000, Concurr. Pract. Exp..

[361]  Ami Marowka,et al.  The GRID: Blueprint for a New Computing Infrastructure , 2000, Parallel Distributed Comput. Pract..

[362]  The Linear System Analyzer , 2000 .

[363]  John R. Rice,et al.  PPK: Towards a Kernel for Building PSEs , 2000 .

[364]  K. Gallivan,et al.  FALCON : An Environment for the Development of Numerical Programs Using MATLAB , 2022 .