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