РОССИЙСКАЯ ФЕДЕРАЦИЯ ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ |
|
||
Номер регистрации (свидетельства): Дата регистрации: 19.01.2016 Номер и дата поступления заявки: Дата публикации: 20.02.2016 |
Авторы:
Правообладатель:
Программа для ЭВМ создана по государственному контракту государственный заказчик: Министерство образования и науки Российской Федерации (RU) |
Название программы для ЭВМ:
Программа для механического доказательства планиметрических теорем рационального типа (Механическое доказательство теорем)
Реферат:
Программа предназначена для механического доказательства теорем планиметрии и проверки геометрических гипотез рационального типа. Программа представляет собой набор вычислительных процедур и проверочных тестов, оформленных в виде модулей geom и geom zeta в CAS Maple и реализующих стандартные геометрические построения на плоскости с помощью вычислений в поле рациональных дробей с числовыми алгебраическими коэффициентами. Программа может быть использована как обучающий инструмент в учебных курсах по компьютерной алгебре.
Тип реализующей ЭВМ: IBM PC-совмест. ПК
Язык программирования: CAS Maple
Вид и версия операционной системы: Windows ХР
Объем программы для ЭВМ: 5 Кб