Перевод названия: 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
Издатель: Красноярский государственный педагогический университет им. В.П. Астафьева