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.
| Identifer | oai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/30520 |
| Date | 02 February 2005 |
| Creators | Sussman, Gerald Jay, Wisdom, Jack |
| Source Sets | M.I.T. Theses and Dissertation |
| Language | en_US |
| Detected Language | English |
| Format | 77 p., 38556269 bytes, 1665777 bytes, application/postscript, application/pdf |
| Relation | Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory |
Page generated in 0.0025 seconds