ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2003, ТОМ 9, ВЫПУСК 3, СТР. 213-228

Автоматическое доказательство и анализ геометрических теорем, заданных в бескоординатной форме, с помощью метода антикоммутативных базисов Грёбнера

И. Ю. Чупаева

Аннотация

Посмотреть как HTML    Посмотреть как рисунок

Некоторые геометрические теоремы можно задавать в бескоординатной форме как полиномы алгебры Грассмана и доказывать с помощью метода антикоммутативных базисов Грёбнера. В данной статье анализируются некоторые свойства как набора посылок теоремы, так и совокупности посылок и заключений теоремы.

Полнотекстовая версия статьи в формате PDF (558 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k03/k033/k03315h.htm.
Изменения вносились 24 сентября 2004 г.