Сибирский федеральный университет

Перевод названия: SYMBOLIC COMPUTATIONS IN MATHICAL EVIDENCE

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: VIII ВСЕРОССИЙСКАЯ С МЕЖДУНАРОДНЫМ УЧАСТИЕМ НАУЧНО-МЕТОДИЧЕСКАЯ КОНФЕРЕНЦИЯ, ПОСВЯЩЕННАЯ 80-ЛЕТИЮ ПРОФЕССОРА ЛАРИНА СЕРГЕЯ ВАСИЛЬЕВИЧА «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В МАТЕМАТИКЕ И МАТЕМАТИЧЕСКОМ ОБРАЗОВАНИИ» В РАМКАХ VIII МЕЖДУНАРОДНОГО НАУЧНО-ОБРАЗОВАТЕЛЬНОГО ФОРУМА «ЧЕЛОВЕК, СЕМЬЯ И ОБЩЕСТВО: ИСТОРИЯ И ПЕРСПЕКТИВЫ РАЗВИТИЯ»; Красноярск; Красноярск

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

Ключевые слова: algebra, geometry, number theory, comparisons, polynomial roots, symbolic calculations, Computer Algebra, Maple program, алгебра, геометрия, теория чисел, сравнения, корни многочлена, символьные вычисления, компьютерная алгебра, программа Maple

Аннотация: В статье приводятся примеры применения систем компьютерной алгебры к доказательству теорем в элементарной геометрии, алгебре и теории чисел. The article gives examples of applying computer algebra systems to proving theorems in elementary?geometry, algebra and number theory.

Журнал: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В МАТЕМАТИКЕ И МАТЕМАТИЧЕСКОМ ОБРАЗОВАНИИ

Выпуск журнала: Часть 1

Номера страниц: 37-42

Издатель: Красноярский государственный педагогический университет им. В.П. Астафьева

• Осипов Н.Н. (Сибирский федеральный университет)

• РИНЦ (eLIBRARY.RU)