NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Real Automation in the FieldWe provide a package of strategies for automation of non-linear arithmetic in PVS. In particular, we describe a simplication procedure for the field of real numbers and a strategy for cancellation of common terms.
Document ID
20020026957
Acquisition Source
Langley Research Center
Document Type
Contractor Report (CR)
Authors
Munoz, Cesar (Institute for Computer Applications in Science and Engineering Hampton, VA United States)
Mayero, Micaela (Institut National de Recherche d'Informatique et d'Automatique Le Chesnay, France)
Bushnell, Dennis M.
Date Acquired
September 7, 2013
Publication Date
December 1, 2001
Subject Category
Computer Programming And Software
Report/Patent Number
NASA/CR-2001-211271
ICASE-39
NAS 1.26:211271
Report Number: NASA/CR-2001-211271
Report Number: ICASE-39
Report Number: NAS 1.26:211271
Funding Number(s)
PROJECT: RTOP 505-90-52-01
CONTRACT_GRANT: NAS1-97046
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available