Functional Differential Geometry
Author(s)
Sussman, Gerald Jay; Wisdom, Jack
DownloadMIT-CSAIL-TR-2005-007.ps (36.77Mb)
Additional downloads
Metadata
Show full item recordAbstract
Differential geometry is deceptively simple. It is surprisingly easyto get the right answer with unclear and informal symbol manipulation.To address this problem we use computer programs to communicate aprecise understanding of the computations in differential geometry.Expressing the methods of differential geometry in a computer languageforces them to be unambiguous and computationally effective. The taskof formulating a method as a computer-executable program and debuggingthat program is a powerful exercise in the learning process. Also,once formalized procedurally, a mathematical idea becomes a tool thatcan be used directly to compute results.
Date issued
2005-02-02Other identifiers
MIT-CSAIL-TR-2005-007
AIM-2005-003
Series/Report no.
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
Keywords
AI, Scheme differential geometry calculus manifolds