Тип публикации: патент
Год издания: 2016
Аннотация: Программа предназначена для механического доказательства теорем планиметрии и проверки геометрических гипотез рационального типа. Программа представляет собой набор вычислительных процедур и проверочных тестов, оформленных в виде модулей geom и geom zeta в CAS Maple и реализующих стандартные геометрические построения на плоскости сПоказать полностьюпомощью вычислений в поле рациональных дробей с числовыми алгебраическими коэффициентами. Программа может быть использована как обучающий инструмент в учебных курсах по компьютерной алгебре.