Intelligence in scientific computing
暂无分享,去创建一个
Gerald J. Sussman | Michael Eisenberg | Harold Abelson | Jacob Katzenelson | Elisha Sacks | Kenneth Yip | Jack Wisdom | Matthew Halfant | K. Yip | G. Sussman | J. Wisdom | H. Abelson | E. Sacks | J. Katzenelson | Michael Eisenberg | Matthew Halfant
[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.