Intelligence in scientific computing

The authors discuss the development of intelligent techniques appropriate for the automatic preparation, execution, and control of numerical experiments.

[1]  Valter Franceschini.  Two models of truncated Navier–Stokes equations on a two‐dimensional torus , 1983 .

[2]  Milton Abramowitz,et al.  Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , 1964 .

[3]  H. Gelernter,et al.  Realization of a geometry theorem proving machine , 1995, IFIP Congress.

[4]  M. Hénon.  Numerical study of quadratic area-preserving mappings , 1969 .

[5]  Gordon S. Novak.  Representations of Knowledge in a Program for Solving Physics Problems , 1977, IJCAI.

[6]  Hiroshi Nakai,et al.  Motions of the perihelions of Neptune and Pluto , 1984 .

[7]  P. Holmes,et al.  Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields , 1983, Applied Mathematical Sciences.

[8]  Elisha Sacks,et al.  Piecewise Linear Reasoning , 1987, AAAI Conference on Artificial Intelligence.

[9]  M. Feinberg.  Chemical Oscillations, Multiple Equilibria, and Reaction Network Structure , 1980 .

[10]  Feng Zhao,et al.  An {\it bf O(N)} Algorithm for Three-Dimensional N-body Simulations , 1987 .

[11]  H. C. Yee,et al.  Steady-state response of a non-linear system under impulsive periodic parametric excitation , 1977 .

[12]  J. M. T. Thompson,et al.  Complex dynamics of compliant off-shore structures , 1983, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[13]  Gerald Jay Sussman,et al.  Abstraction in numerical methods , 1987 .

[14]  S. Benson,et al.  Chemical Kinetics , 2021, Fuel Effects on Operability of Aircraft Gas Turbine Combustors.

[15]  David L. Waltz,et al.  Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .

[16]  Harold Abelson,et al.  The LISP experience , 1988 .

[17]  L. Riekert,et al.  K. J. Laidler: Chemical Kinetics, Second Edition. Mc Graw Hill Book Company, New York 1965. 566 Seiten. Preis: $ 9,50 , 1966, Berichte der Bunsengesellschaft für physikalische Chemie.

[18]  A. J. Nevins,et al.  Plane Geometry Theorem Proving Using Forward Chaining , 1975, Artif. Intell..

[19]  Charles T. Zahn,et al.  Graph-Theoretical Methods for Detecting and Describing Gestalt Clusters , 1971, IEEE Transactions on Computers.

[20]  Andrew P. Witkin,et al.  Scale-Space Filtering , 1983, IJCAI.

[21]  Gerald Jay Sussman,et al.  Heuristic techniques in computer-aided circuit analysis , 1975 .

[22]  Gerald J. Sussman,et al.  Tutorial: abstraction in numerical methods , 1988, LISP and Functional Programming.

[23]  C. S. Hsu.  A Theory of Index for Point Mapping Dynamical Systems , 1980 .

[24]  Harold Abelson,et al.  The Dynamicist''s Workbench: I ---Automatic Preparation of Numerical Experiments , 1987 .

[25]  Kenneth Man-kam Yip.  Generating Global Behaviors using Deep knowledge of Local Dynamics , 1988, AAAI.

[26]  G. Sussman,et al.  Numerical Evidence That the Motion of Pluto Is Chaotic , 1988, Science.

[27]  Elisha Sacks,et al.  Hierarchical Reasoning about Inequalities , 1987, AAAI.

[28]  Feng Zhao.  An O(N) Algorithm for Three-dimensional N-body Simulations , 2022 .

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

[30]  Elisha Sacks.  Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations , 1988 .

[31]  Gerald Roylance.  Expressing mathematical subroutines constructively , 1988, LFP '88.

[32]  Gerald J. Sussman,et al.  A Digital Orrery , 1985, IEEE Transactions on Computers.