Программа для механического доказательства планиметрических теорем рационального типа (Механическое доказательство теорем) | Научно-инновационный портал СФУ

Программа для механического доказательства планиметрических теорем рационального типа (Механическое доказательство теорем)

Тип публикации: патент

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

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

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

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.