|
Title:
|
Functional Differential Geometry |
|
Author:
|
Sussman, Gerald Jay; Wisdom, Jack |
|
Issue Date:
|
2005-02-02 |
|
Abstract:
|
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. |
|
URI:
|
http://hdl.handle.net/1721.1/30520
|
|
Other 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 |
