01825nam 2200493 450 991048077150332120200817175903.01-4704-5662-1(CKB)4100000011040076(MiAaPQ)EBC6176749(PPN)250211394(EXLCZ)99410000001104007620200817d2020 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAn elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem /Henri Lombardi, Daniel Perrucci, Marie-Françoise RoyProvidence, Rhode Island :American Mathematical Society,2020.1 online resource (138 pages)Memoirs of the American Mathematical Society ;Volume 2631-4704-4108-X Includes bibliographical references.Weak inference and weak existence -- Intermediate value theorem -- Fundamental theorem of algebra -- Hermite's theory -- Elimination of one variable -- Proof of the main theorems -- Annex.Memoirs of the American Mathematical Society ;Volume 263.PolynomialsAlgebraic fieldsRecursive functionsElectronic books.Polynomials.Algebraic fields.Recursive functions.512.9422Lombardi Henri755733Perrucci DanielRoy M.-F(Marie-Françoise),MiAaPQMiAaPQMiAaPQBOOK9910480771503321An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem2036956UNINA