О механическом доказательстве планиметрических теорем рационального типа

Описание

Перевод названия: Mechanical Proof of Planimetric Theorems of Rational Type

Тип публикации: статья из журнала

Год издания: 2014

Аннотация: В статье предлагается элементарный подход к механическому доказательству планиметрических теорем рационального типа. Этот подход реализован в виде программных модулей geom и его модифицированной версии geom_zeta, созданных в системе компьютерной алгебры Maple. Приводятся примеры механических доказательств сложных теорем планиметрииПоказать полностью(как хорошо известных, так и сравнительно новых) на основе удобных рациональных параметризаций.

Ссылки на полный текст

Издание

Журнал: Программирование

Выпуск журнала: Т.40, 2

Номера страниц: 41-50

ISSN журнала: 01323474

Место издания: Москва

Издатель: Федеральное государственное унитарное предприятие Академический научно-издательский, производственно-полиграфический и книгораспространительский центр Наука

Авторы

  • Осипов Н.Н. (Институт космических и информационных технологий СФУ)

Вхождение в базы данных