NASA NTRS · 20020026957
Real Automation in the Field
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Munoz, Cesar, Mayero, Micaela, Bushnell, Dennis M.. 2001-12-01. Real Automation in the Field. https://ntrs.nasa.gov/citations/20020026957
Cite the original work for its findings. Save a collection to share your selection of sources.