A Notation for Computer Aided Mathematics

Thumbnail
View/Open
PERMANENT LINK(S)
https://hdl.handle.net/1813/6074
Collections
Metadata
Show full item record
Author
Mannion, Conal; Allen, Stuart
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.
Date Issued
1994-02
Publisher
Cornell University
Subject
computer science; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR94-1465
Type
technical report

Statistics