Сибирский математический журнал
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Сиб. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Сибирский математический журнал, 1985, том 26, номер 5, страницы 94–98 (Mi smj7050)  
Еще одно доказательство теоремы Тарского–Зайденберга

Е. И. Коркина, А. Г. Кушниренко

г. Москва
PDF полного текста (807 kB)
Аннотация: Теорема Тарского–Зайденберга позволяет алгоритмически определить, когда разрешима система полиномиальных уравнений и неравенств, по коэффициентам этих полиномов. Известные доказательства этой теоремы содержат рассмотрение большого числа вырожденных случаев. Предлагается элементарное доказательство этой теоремы, в котором число подлежащих рассмотрению вырожденных случаев сведено к минимуму.
Библиогр. 4.
Статья поступила: 07.09.1981
Англоязычная версия:
Siberian Mathematical Journal, 1985, Volume 26, Issue 5, Pages 703–707
DOI: https://doi.org/10.1007/BF00969029
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.87
Образец цитирования: Е. И. Коркина, А. Г. Кушниренко, “Еще одно доказательство теоремы Тарского–Зайденберга”, Сиб. матем. журн., 26:5 (1985), 94–98; Siberian Math. J., 26:5 (1985), 703–707
Цитирование в формате AMSBIB
\RBibitem{KorKus85}
\by Е.~И.~Коркина, А.~Г.~Кушниренко
\paper Еще одно доказательство теоремы Тарского--Зайденберга
\jour Сиб. матем. журн.
\yr 1985
\vol 26
\issue 5
\pages 94--98
\mathnet{http://mi.mathnet.ru/smj7050}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=0808705}
\zmath{https://zbmath.org/?q=an:0578.14023}
\transl
\jour Siberian Math. J.
\yr 1985
\vol 26
\issue 5
\pages 703--707
\crossref{https://doi.org/10.1007/BF00969029}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1985C930200009}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj7050
  • https://www.mathnet.ru/rus/smj/v26/i5/p94
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024