|
eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1813/6074
| Title: | A Notation for Computer Aided Mathematics |
| Authors: | Mannion, Conal
Allen, Stuart |
| Keywords: | computer science
technical report |
| Issue Date: | Feb-1994 |
| Publisher: | Cornell University |
| Citation: | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR94-1465 |
| Abstract: | The NuPrl4 term structure and editor display mechanism are used to provide unambiguous notations for use in the the development of computer supported mathematical arguments. These notations are used to provide a natural statment of a theorem in Hamiltonian dynamics, anchored in a computationally unambiguous representation, that can be made explicit if required. |
| URI: | http://hdl.handle.net/1813/6074 |
| Appears in Collections: | Computer Science Technical Reports
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
