Mechanical proof of planimetric theorems of rational type

Описание

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

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

Идентификатор DOI: 10.1134/S0361768814020066

Ключевые слова: Computer software, Software engineering, Computer algebra systems, Elementary approach, Mechanical proof, Rational parametrizations, Software modules, Algebra

Аннотация: An elementary approach is proposed to the mechanical proof of planimetric theorems of rational type. This approach is implemented in the form of geom software modules and their modified version geom_zeta, which are developed in the Maple computer algebra system. Examples of mechanical proofs of difficult planimetric theorems (both Показать полностьюwell-known and comparatively new ones) are presented on the basis of convenient rational parametrizations.

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

Издание

Журнал: PROGRAMMING AND COMPUTER SOFTWARE

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

Номера страниц: 71-78

ISSN журнала: 03617688

Место издания: NEW YORK

Издатель: MAIK NAUKA/INTERPERIODICA/SPRINGER

Авторы

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