Skip to main content


eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item:
Title: A Notation for Computer Aided Mathematics
Authors: Mannion, Conal
Allen, Stuart
Keywords: computer science
technical report
Issue Date: Feb-1994
Publisher: Cornell University
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.
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
94-1465.pdf155.11 kBAdobe PDFView/Open
94-1465.ps350.68 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.


© 2014 Cornell University Library Contact Us