Символьные вычисления в математических доказательствах (computer assisted proofs) : научное издание
Символьные вычисления в математических доказательствах (computer assisted proofs) : научное издание
Описание
Тип публикации: статья из журнала
Год издания: 2020
Ключевые слова: символьные вычисления, компьютерная алгебра, Применение к доказательству теорем
Аннотация: В статье приводятся примеры применения систем компьютерной алгебры к доказательству теорем в элементарной геометрии, алгебре и теории чисел.