СИМВОЛЬНЫЕ ВЫЧИСЛЕНИЯ В МАТЕМАТИЧЕСКИХ ДОКАЗАТЕЛЬСТВАХ : доклад, тезисы доклада

Описание

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

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

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

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

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

Аннотация: В статье приводятся примеры применения систем компьютерной алгебры к доказательству теорем в элементарной геометрии, алгебре и теории чисел.

Ссылки на полный текст

Издание

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

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

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

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

Авторы

  • Осипов Н.Н. (Сибирский федеральный университет)
  • Ответственный редактор В.Р. Майер; Красноярский государственный педагогический университет им. В.П. Астафьева

Вхождение в базы данных