Show simple item record

dc.contributor.authorAllen, Stuart F.en_US
dc.contributor.authorBickford, Marken_US
dc.contributor.authorConstable, Roberten_US
dc.contributor.authorEaton, Richarden_US
dc.contributor.authorKreitz, Christoph.en_US
dc.date.accessioned2007-04-04T19:20:14Z
dc.date.available2007-04-04T19:20:14Z
dc.date.issued2003-02-03en_US
dc.identifier.citationhttp://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2003-1889en_US
dc.identifier.urihttps://hdl.handle.net/1813/5605
dc.description.abstractWe describe a link between the Nuprl and PVS proof systems that enables users to access PVS from the Nuprl theorem proving environment, to import PVS theories into the Nuprl library, and to browse both Nuprl and PVS theories in a unified formal framework. The combined system is a first step towards a digital library of formalized mathematics that can be shared and used in complex applications.en_US
dc.format.extent194204 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_USen_US
dc.publisherCornell Universityen_US
dc.subjectcomputer scienceen_US
dc.subjecttechnical reporten_US
dc.titleA Nuprl-PVS Connection: Integrating Libraries of Formal Mathematics.en_US
dc.typetechnical reporten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics