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

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

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


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




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

Фундаментальная и прикладная математика, 2003, том 9, выпуск 3, страницы 213–228 (Mi fpm732)  
Автоматическое доказательство и анализ геометрических теорем, заданных в бескоординатной форме, с помощью метода антикоммутативных базисов Грёбнера

И. Ю. Чупаева

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (563 kB)
Список литературы:
PDF
HTML
Аннотация: Некоторые геометрические теоремы можно задавать в бескоординатной форме как полиномы алгебры Грассмана и доказывать с помощью метода антикоммутативных базисов Грёбнера. В данной статье анализируются некоторые свойства как набора посылок теоремы, так и совокупности посылок и заключений теоремы.
Ключевые слова: автоматическое доказательство геометрических теорем, алгебра Грассмана, разрешимые алгебры, базисы Грёбнера, бескоординатный метод задания теорем.
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2006, Volume 135, Issue 5, Pages 3409–3419
DOI: https://doi.org/10.1007/s10958-006-0170-2
Реферативные базы данных:
УДК: 512.64+512.715
Образец цитирования: И. Ю. Чупаева, “Автоматическое доказательство и анализ геометрических теорем, заданных в бескоординатной форме, с помощью метода антикоммутативных базисов Грёбнера”, Фундамент. и прикл. матем., 9:3 (2003), 213–228; J. Math. Sci., 135:5 (2006), 3409–3419
Цитирование в формате AMSBIB
\RBibitem{Tch03}
\by И.~Ю.~Чупаева
\paper Автоматическое доказательство и анализ геометрических теорем, заданных в~бескоординатной форме, с~помощью метода антикоммутативных базисов Грёбнера
\jour Фундамент. и прикл. матем.
\yr 2003
\vol 9
\issue 3
\pages 213--228
\mathnet{http://mi.mathnet.ru/fpm732}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2094340}
\zmath{https://zbmath.org/?q=an:1073.68098}
\transl
\jour J. Math. Sci.
\yr 2006
\vol 135
\issue 5
\pages 3409--3419
\crossref{https://doi.org/10.1007/s10958-006-0170-2}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-33744732731}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/fpm732
  • https://www.mathnet.ru/rus/fpm/v9/i3/p213
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Фундаментальная и прикладная математика
    Статистика просмотров:
    Страница аннотации:493
    PDF полного текста:308
    Список литературы:41
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024