01050nam0-22003251i-450-9900011729704033210-8247-0059-7000117297FED01000117297(Aleph)000117297FED0100011729720000920d1998----km-y0itay50------baengMATHEMATICAL programming with data perturbationsedited by Anthony V. FiaccoNew York [etc.]Marcel Dekkerc1998viii, 441 p.ill.26 cmLecture notes in pure and applied mathematics195Proceedings of the 17th symposium, George Washington University, Washington, DC, USA, May 1995Programmazione matematicaCongressi519.7Fiacco,Anthony V.ITUNINARICAUNIMARCBK990001172970403321C-7-(19517132MA1MA190CXXMathematical programming with data perturbations82936UNINAING0101765nam 2200481 450 991070373040332120150805153532.0(CKB)5470000002434419(OCoLC)915845460(EXLCZ)99547000000243441920150805j201411 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierA formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem /Anthony J. Narkawicz and César A. Muñ̃ozHampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,November 2014.1 online resource (26 pages)NASA/TM ;2014-218548Title from title screen (viewed Aug. 5, 2015)."November 2014."Includes bibliographical references (pages 22-25).PolynomialsnasatInequalitiesnasatTheorem provingnasatRoots of equationsnasatMathematical programmingnasatPolynomials.Inequalities.Theorem proving.Roots of equations.Mathematical programming.Narkawicz Anthony Joseph1982-1388124Muñoz César A.1968-Langley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910703730403321A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem3442227UNINA