A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem / Anthony J. Narkawicz and César A. Muñ̃oz.
| Author/creator | Narkawicz, Anthony Joseph, 1982- author. |
| Other author | Muñoz, César A., 1968- author. |
| Other author | Langley Research Center, issuing body. |
| Other author | United States. National Aeronautics and Space Administration sponsoring body. |
| Format | Electronic |
| Publication | Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, November 2014. |
| Description | 1 online resource (26 pages). |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo59313 |
| Series | NASA/TM ; 2014-218548 NASA technical memorandum 2014-218548. ^A467613 |
| General note | Title from title screen (viewed Aug. 5, 2015). |
| General note | "November 2014." |
| General note | GPO Cataloging Record Distribution Program (CRDP). |
| Bibliography note | Includes bibliographical references (pages 22-25). |
| Funding information | Sponsored by the National Aeronautics and Space Administration 534723.02.15.07 |
| Funding information | L-20489 |
| GPO item number | 0830-D (online) |
| Govt. docs number | NAS 1.15:2014-218548 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |