A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem / Anthony J. Narkawicz and César A. Muñ̃oz.

Saved in:

Bibliographic Details
Online Access:	Online Access Online Access
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.

Internet

Online Access
Online Access

Holdings details from Online
Call Number:	NAS 1.15:2014-218548
NAS 1.15:2014-218548	Available