Тип публикации: статья из журнала
Год издания: 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