Skip to main content


eCommons@Cornell

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

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