Перевод названия: Mechanical Proof of Planimetric Theorems of Rational Type
Тип публикации: статья из журнала
Год издания: 2014
Аннотация: В статье предлагается элементарный подход к механическому доказательству планиметрических теорем рационального типа. Этот подход реализован в виде программных модулей geom и его модифицированной версии geom_zeta, созданных в системе компьютерной алгебры Maple. Приводятся примеры механических доказательств сложных теорем планиметрииПоказать полностью(как хорошо известных, так и сравнительно новых) на основе удобных рациональных параметризаций.
Журнал: Программирование
Выпуск журнала: Т. 40, № 2
Номера страниц: 41-50
ISSN журнала: 01323474
Место издания: Москва
Издатель: Федеральное государственное унитарное предприятие Академический научно-издательский, производственно-полиграфический и книгораспространительский центр Наука