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

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

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


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




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

Записки научных семинаров ПОМИ, 2002, том 293, страницы 94–117 (Mi znsl1677)  
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Метод подъема решений для работы с метапеременными в системе TH$\exists$OREM$\forall$

Б. Ю. Коневa, Т. Жебелеанb

a Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН
b Research Institute for Symbolic Computation
PDF полного текста (310 kB) Список цитирования (5)
Аннотация: Данная работа посвящена применению метода метапеременных для поиска доказательств в исчислениях секвенциального вида. Описывается эффективный способ работы с метапеременными и его реализация в системе TH$\exists$OREM$\forall$. В основе метода лежит специальная техника работы с метапеременными для случая, когда алгоритм поиска доказательств представляется в виде AND/OR-дерева. Реализация метода не зависит от стратегии поиска и легко интегрируется с другими специализированными методами поиска доказательств, а также со специальными процедурами унификации и поиска решений. Мы демонстрируем работу метода в контексте специализированной стратегии поиска, применяемой для задач элементарного математического анализа. Библ. – 28 назв.
Поступило: 15.12.2002
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2005, Volume 126, Issue 3, Pages 1182–1194
DOI: https://doi.org/10.1007/s10958-005-0090-6
Реферативные базы данных:
УДК: 510.662
Образец цитирования: Б. Ю. Конев, Т. Жебелеан, “Метод подъема решений для работы с метапеременными в системе TH$\exists$OREM$\forall$”, Теория сложности вычислений. VII, Зап. научн. сем. ПОМИ, 293, ПОМИ, СПб., 2002, 94–117; J. Math. Sci. (N. Y.), 126:3 (2005), 1182–1194
Цитирование в формате AMSBIB
\RBibitem{KonJeb02}
\by Б.~Ю.~Конев, Т.~Жебелеан
\paper Метод подъема решений для работы с~метапеременными в~системе TH$\exists$OREM$\forall$
\inbook Теория сложности вычислений.~VII
\serial Зап. научн. сем. ПОМИ
\yr 2002
\vol 293
\pages 94--117
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl1677}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1948826}
\zmath{https://zbmath.org/?q=an:1101.68834}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2005
\vol 126
\issue 3
\pages 1182--1194
\crossref{https://doi.org/10.1007/s10958-005-0090-6}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl1677
  • https://www.mathnet.ru/rus/znsl/v293/p94
    • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024