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

Тип публикации: статья из журнала

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

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

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

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

Издание

Журнал: Математическое образование

Выпуск журнала: № 2

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

ISSN журнала: 19926138

Место издания: Москва

Издатель: Фонд математического образования и просвещения

Персоны

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

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

РИНЦ (eLIBRARY.RU)

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.