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.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.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


This item appears in the following Collection(s)

Show simple item record