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

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

И. Ю. Чупаева

Аннотация

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

Аннотация в формате gif

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

Главная страница Содержание журнала Новости Поиск

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