РОССИЙСКАЯ ФЕДЕРАЦИЯ ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ	RU 2016610775

Номер регистрации (свидетельства): 2016610775 Дата регистрации: 19.01.2016 Номер и дата поступления заявки: 2015661453 25.11.2015 Дата публикации: 20.02.2016

Авторы: Осипов Николай Николаевич, Царев Сергей Петрович (RU) Правообладатель: Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Сибирский федеральный университет» Программа для ЭВМ создана по государственному контракту государственный заказчик: Министерство образования и науки Российской Федерации (RU)

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

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

Тип реализующей ЭВМ: IBM PC-совмест. ПК

Язык программирования: CAS Maple

Вид и версия операционной системы: Windows ХР

Объем программы для ЭВМ: 5 Кб