Н. Н. Осипов, “Символьные вычисления в математических доказательствах (computer assisted proofs)”, Матем. обр., 2020, выпуск 2(94),страницы 42

Студентам и преподавателям математических специальностей

Символьные вычисления в математических доказательствах (computer assisted proofs)

Н. Н. Осипов

Институт космических и информационных технологий Сибирского федерального университета

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

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

УДК: 519.6