Математическое образование
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Матем. обр.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Математическое образование, 2020, выпуск 2(94), страницы 42–47 (Mi mo703)  

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

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

Н. Н. Осипов

Институт космических и информационных технологий Сибирского федерального университета
Список литературы:
Аннотация: В статье приводятся примеры применения систем компьютерной алгебры к доказательству теорем в элементарной геометрии, алгебре и теории чисел.
Ключевые слова: символьные вычисления, компьютерная алгебра, применение к доказательству теорем.
Тип публикации: Научно-популярный, образовательный материал
УДК: 519.6
Образец цитирования: Н. Н. Осипов, “Символьные вычисления в математических доказательствах (computer assisted proofs)”, Матем. обр., 2020, № 2(94), 42–47
Цитирование в формате AMSBIB
\RBibitem{Osi20}
\by Н.~Н.~Осипов
\paper Символьные вычисления в математических доказательствах (computer assisted proofs)
\jour Матем. обр.
\yr 2020
\issue 2(94)
\pages 42--47
\mathnet{http://mi.mathnet.ru/mo703}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mo703
  • https://www.mathnet.ru/rus/mo/y2020/i2/p42
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математическое образование
    Статистика просмотров:
    Страница аннотации:133
    PDF полного текста:100
    Список литературы:24
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024