Loading...
Please wait, while we are loading the content...
Similar Documents
Strategy-enhanced interactive proving and arithmetic simplification for pvs
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | DiVito, Ben L. |
| Copyright Year | 2003 |
| Description | We describe an approach to strategy-based proving for improved interactive deduction in specialized domains. An experimental package of strategies (tactics) and support functions called Manip has been developed for PVS to reduce the tedium of arithmetic manipulation. Included are strategies aimed at algebraic simplification of real-valued expressions. A general deduction architecture is described in which domain-specific strategies, such as those for algebraic manipulation, are supported by more generic features, such as term-access techniques applicable in arbitrary settings. An extended expression language provides access to subterms within a sequent. |
| File Size | 213058 |
| Page Count | 13 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20040005889 |
| Archival Resource Key | ark:/13960/t6g20z17w |
| Language | English |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Mathematical And Computer Sciences (general) Approximation Simplification Decision Making Theorem Proving Applications Programs Computers Architecture Computers Arithmetic Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
