|
Математическое образование, 2020, выпуск 2(94), страницы 42–47
(Mi mo703)
|
|
|
|
Студентам и преподавателям математических специальностей
Символьные вычисления в математических доказательствах (computer assisted proofs)
Н. Н. Осипов Институт космических и информационных технологий Сибирского федерального университета
Аннотация:
В статье приводятся примеры применения систем компьютерной алгебры к доказательству теорем в элементарной геометрии, алгебре и теории чисел.
Ключевые слова:
символьные вычисления, компьютерная алгебра, применение к доказательству теорем.
Образец цитирования:
Н. Н. Осипов, “Символьные вычисления в математических доказательствах (computer assisted proofs)”, Матем. обр., 2020, № 2(94), 42–47
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mo703 https://www.mathnet.ru/rus/mo/y2020/i2/p42
|
Статистика просмотров: |
Страница аннотации: | 133 | PDF полного текста: | 100 | Список литературы: | 24 |
|