Improving automated strategies for univariate quantifier elimination / Katherine Cordwell, Cesar A. Munoz and Aaron M. Dutle.
| Author/creator | Cordwell, Katherine author. |
| Other author | Muñoz, César A., 1968- author. |
| Other author | Dulte, Aaron M., author. |
| Other author | Langley Research Center, issuing body. |
| Format | Electronic |
| Publication | Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, January 2021. |
| Description | 1 online resource (22 pages) : illustration. |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo150352 |
| Series | NASA/TM ; 20205010644 NASA technical memorandum 20205010644. ^A467613 |
| General note | "January 2021." |
| General note | GPO Cataloging Record Distribution Program (CRDP). |
| Bibliography note | Includes bibliographical references (pages 11-12). |
| Report note | Technical memorandum. |
| Funding information | NASA Langley Research Center 340428.02.20.07.01 |
| Source of description | Description based on online resource, PDF version; title from title page (NASA, viewed on Jan. 19, 2021). |
| GPO item number | 0830-D (online) |
| Govt. docs number | NAS 1.15:20205010644 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |