'

Применение методов компьютерной алгебры для решения задач планиметрии

Понравилась презентация – покажи это...





Слайд 0

Применение методов компьютерной алгебры для решения задач планиметрии Выполнил: Маховиков В.А. Руководитель: Руденок А.Е.


Слайд 1

Актуальность Алгоритмический метод проверки справедливости утверждений общего характера в евклидовой геометрии полезен в области искусственного интеллекта и геометрического моделирования, так как используется при создании программ проверки существования гипотетических связей между геометрическими объектами на плоскости.


Слайд 2

Цель и задача работы Цель– показать, как методы компьютерной алгебры могут помочь в доказательстве теорем планиметрии. Задача - – изучить методы автоматического доказательтсва теорем и применить их на практике.


Слайд 3

Предмет изучения Предметом изучения является метод компьютерной алгребры автоматического доказательства теорем планиметрии.


Слайд 4

Основа Метода Условия и заключения геометрической теоремы задаются полиномиальными уравнениями от координат точек, о которых говорится в формулировке утверждения. Примечание: Не всегда есть возможность это сделать.


Слайд 5

Основа Метода Геометрические утверждения, выводимые из предположений, представляются полиномами из идеала, порожденного предположениями


Слайд 6

Основа Метода Принадлежность полинома радикалу проверяется алгоритмически за конечное число шагов.


Слайд 7

Применение результата исследования на практике Применение метода базисов Гребнера для решения конкретной здачи планиметрии.


Слайд 8

Применение результата исследования на практике Вычисления проводились в достаточно мощном пакете компьютерной алгебры Mathematica.


Слайд 9

Заключение Алгебраические многообразия в работе использованы для автоматического доказательства теоремы. Такой же метод может быть использован для решения прямой и обратной задач робототехники для некоторых типов роботов.


Слайд 10

Благодарю за внимание


×

HTML:





Ссылка: