Geometric computing science: first steps
Book information
Description
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
Similar books
Topics in the mathematics of quantum mechanics
1973 · PDF
Vector bundles in mathematical physics (Mathematics lecture note series) - Applications to Quantum Mechanics
1970 · PDF
Lnear systems theory and introductory algebraic geometry
1974 · DJVU
Topics in the geometric theory of linear systems
1984 · DJVU
Lectures in Mathematical Physics
1970 · DJVU
Lie Algebras and Quantum Mechanics
1970 · DJVU
Lectures in mathematical physics
1970 · DJVU
Lectures in mathematical physics. Volume 1
1970 · DJVU