An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem / / Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy |
Autore | Lombardi Henri |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2020 |
Descrizione fisica | 1 online resource (138 pages) |
Disciplina | 512.9422 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Polynomials
Algebraic fields Recursive functions |
ISBN | 1-4704-5662-1 |
Classificazione | 12D1514P9913J30 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910794062503321 |
Lombardi Henri | ||
Providence, Rhode Island : , : American Mathematical Society, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem / / Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy |
Autore | Lombardi Henri |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2020 |
Descrizione fisica | 1 online resource (138 pages) |
Disciplina | 512.9422 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Polynomials
Algebraic fields Recursive functions |
ISBN | 1-4704-5662-1 |
Classificazione | 12D1514P9913J30 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910806857203321 |
Lombardi Henri | ||
Providence, Rhode Island : , : American Mathematical Society, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|