SULJE VALIKKO

avaa valikko

Daniel Perrucci | Akateeminen Kirjakauppa

AN ELEMENTARY RECURSIVE BOUND FOR EFFECTIVE POSITIVSTELLENSATZ AND HILBERT'S 17TH PROBLEM

An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
Henri Lombardi; Daniel Perrucci; Marie-Francoise Roy
American Mathematical Society (2020)
Pehmeäkantinen kirja
89,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
89,10 €
American Mathematical Society
Sivumäärä: 113 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2020, 30.04.2020 (lisätietoa)
Kieli: Englanti
The authors prove an elementary recursive bound on the degrees for Hilbert's 17th problem. More precisely they express a nonnegative polynomial as a sum of squares of rational functions and obtain as degree estimates for the numerators and denominators the following tower of five exponentials $ 2^{ 2^{ 2^{d^{4^{k}}} } } $ where $d$ is the number of variables of the input polynomial. The authors' method is based on the proof of an elementary recursive bound on the degrees for Stengle's Positivstellensatz. More precisely the authors give an algebraic certificate of the emptyness of the realization of a system of sign conditions and obtain as degree bounds for this certificate a tower of five exponentials, namely $ 2^{ 2^{left(2^{max{2,d}^{4^{k}}}+ s^{2^{k}}max{2, d}^{16^{k}{mathrm bit}(d)} right)} } $ where $d$ is a bound on the degrees, $s$ is the number of polynomials and $k$ is the number of variables of the input polynomials.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
Näytä kaikki tuotetiedot
ISBN:
9781470441081
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste