Real Automation in the Field
Series:
We 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. Munoz, Cesar and Mayero, Micaela and Bushnell, Dennis M. (Technical Monitor) Langley Research Center NASA/CR-2001-211271, NAS 1.26:211271, ICASE-39...
NaN
VOLUME
English
Paperback
We 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. Munoz, Cesar and Mayero, Micaela and Bushnell, Dennis M. (Technical Monitor) Langley Research Center NASA/CR-2001-211271, NAS 1.26:211271, ICASE-39...
Price Comparison [India]
In This Series
Bestseller Manga
Trending NEWS