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