Cover Image

A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem /

Bibliographic Details
Main Authors: Narkawicz, Anthony Joseph, 1982- (Author), Muñoz, César A., 1968- (Author)
Corporate Author: United States. National Aeronautics and Space Administration (sponsoring body.)
Format: Government Document eBook
Language:English
Published: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, November 2014.
Series:NASA technical memorandum ; 2014-218548.
Subjects:
Polynomials.
Inequalities.
Theorem proving.
Roots of equations.
Mathematical programming.
Online Access:https://purl.fdlp.gov/GPO/gpo59313
http://purl.fdlp.gov/GPO/gpo59313
Description
Item Description:Title from title screen (viewed Aug. 5, 2015).
"November 2014."
Physical Description:1 online resource (26 pages).
Bibliography:Includes bibliographical references (pages 22-25).