LEADER 01765nam  2200481   450 
001 9910703730403321
005 20150805153532.0
035   $a(CKB)5470000002434419
035   $a(OCoLC)915845460
035   $a(EXLCZ)995470000002434419
100   $a20150805j201411    ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 12$aA formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem /$fAnthony J. Narkawicz and Ce?sar A. Mun??oz
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dNovember 2014.
215   $a1 online resource (26 pages)
225 1 $aNASA/TM ;$v2014-218548
300   $aTitle from title screen (viewed Aug. 5, 2015).
300   $a"November 2014."
320   $aIncludes bibliographical references (pages 22-25).
606   $aPolynomials$2nasat
606   $aInequalities$2nasat
606   $aTheorem proving$2nasat
606   $aRoots of equations$2nasat
606   $aMathematical programming$2nasat
615  7$aPolynomials.
615  7$aInequalities.
615  7$aTheorem proving.
615  7$aRoots of equations.
615  7$aMathematical programming.
700   $aNarkawicz$b Anthony Joseph$f1982-$01388124
702   $aMun?oz$b Ce?sar A.$f1968-
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910703730403321
996   $aA formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem$93442227
997   $aUNINA