Символьные вычисления в математических доказательствах (computer assisted proofs) : научное издание | Научно-инновационный портал СФУ

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

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

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

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

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

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

Издание

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

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

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

ISSN журнала: 19926138

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

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

Авторы

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

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

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.