A Notation for Computer Aided Mathematics
dc.contributor.author | Mannion, Conal | en_US |
dc.contributor.author | Allen, Stuart | en_US |
dc.date.accessioned | 2007-04-23T16:26:14Z | |
dc.date.available | 2007-04-23T16:26:14Z | |
dc.date.issued | 1994-02 | en_US |
dc.description.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. | en_US |
dc.format.extent | 158837 bytes | |
dc.format.extent | 359096 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | application/postscript | |
dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR94-1465 | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/6074 | |
dc.language.iso | en_US | en_US |
dc.publisher | Cornell University | en_US |
dc.subject | computer science | en_US |
dc.subject | technical report | en_US |
dc.title | A Notation for Computer Aided Mathematics | en_US |
dc.type | technical report | en_US |