Geometric computing science: first steps

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Robert Hermann
Publisher: MATH SCI
Year: 1991

Language: English

Contents (3p. detailed, 2p. missing)
I. Recursive Systems and Geometric Computing Science
II. A ‘Geometric’ View of the Dynamics of Trajectories of Computer Programs (Acta Applicanda Mathematica, 18, 145-182, 1990)
III. LECTURE NOTES FOR TALKS ON GEOMETRIC COMPUTING SCIENCE
IV. ANALOGIES BETWEEN GODELIAN COMPLETENESS AND CARATHEODORY-CHOW CONTROLLABILITY.
V. CARTAN: A COMPUTER LANGUAGE FOR KNOWLEDGE REPRESENTATION AND SYMBOLIC COMPUTATION IN MECHANICS AND CONTROL
VI. MORE ABOUT JETS, GENERALIZED RECURSION AND APPROXIMATION OF DIFFERENTIAL EQUATIONS.
VII. RECURSIVE SYSTEMS AND JET BUNDLES
VIII. THE EHRESMANN JET SPACES AND THE PROLONGATION CALCULUS
IX. REMARKS ON DIFFERENTIAL SYSTEMS
X. REMARKS ON COMPUTATION AND APPROXIMATION
XI. REMARKS ON AI AND CONTROL
XII. REMARKS ON Al AND SHEAVES