LEADER 01825nam  2200493   450 
001 9910480771503321
005 20200817175903.0
010   $a1-4704-5662-1
035   $a(CKB)4100000011040076
035   $a(MiAaPQ)EBC6176749
035   $a(PPN)250211394
035   $a(EXLCZ)994100000011040076
100   $a20200817d2020      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 13$aAn elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem /$fHenri Lombardi, Daniel Perrucci, Marie-Franc?oise Roy
210  1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d2020.
215   $a1 online resource (138 pages)
225 1 $aMemoirs of the American Mathematical Society ;$vVolume 263
311   $a1-4704-4108-X 
320   $aIncludes bibliographical references.
327   $aWeak inference and weak existence -- Intermediate value theorem -- Fundamental theorem of algebra -- Hermite's theory -- Elimination of one variable -- Proof of the main theorems -- Annex.
410  0$aMemoirs of the American Mathematical Society ;$vVolume 263.
606   $aPolynomials
606   $aAlgebraic fields
606   $aRecursive functions
608   $aElectronic books.
615  0$aPolynomials.
615  0$aAlgebraic fields.
615  0$aRecursive functions.
676   $a512.9422
700   $aLombardi$b Henri$0755733
702   $aPerrucci$b Daniel
702   $aRoy$b M.-F$g(Marie-Franc?oise),
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910480771503321
996   $aAn elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem$92036956
997   $aUNINA