Henri Lombardi, Daniel Perrucci, Marie-Francoise Roy An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert`s 17th Problem 9781470441081

Варианты приобретения

Цена: 10659.00р.
Кол-во:
о цене
Наличие: Отсутствует.
Возможна поставка под заказ. Дата поступления на склад уточняется после оформления заказа

Добавить в корзину

в Мои желания

Автор: Henri Lombardi, Daniel Perrucci, Marie-Francoise Roy
Название: An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert`s 17th Problem
ISBN: 9781470441081
Издательство: Mare Nostrum (Eurospan)
Классификация:

Алгебра

Геометрия

Алгебраическая геометрия

ISBN-10: 147044108X
Обложка/Формат: Paperback
Страницы: 113
Вес: 0.15 кг.
Дата издания: 30.04.2020
Серия: Memoirs of the american mathematical society
Язык: English
Размер: H 254 X W 178
Ключевые слова: Algebra,Algebraic geometry
Рейтинг:
Поставляется из: Англии
Описание: The authors prove an elementary recursive bound on the degrees for Hilberts 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 Stengles 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.
Дополнительное описание: Algebra|Algebraic geometry

An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert`s 17th Problem, Henri Lombardi, Daniel Perrucci, Marie-Francoise Roy