Компьютерная алгебра
- Компьютерная алгебра — область математики, использующая компьютеры для манипулирования математическими выражениями.
- Основные проблемы включают ассоциативность, коммутативность и дистрибутивность операций.
- Правила перезаписи применяются для упрощения выражений и ускорения вычислений.
- Математические аспекты включают равенство выражений и использование канонической и нормальной форм.
- Ранние системы компьютерной алгебры использовали человеческие компьютеры и перепрограммирование.
- Джон Маккарти исследовал расширение примитивно-рекурсивных функций для символьных вычислений с помощью языка программирования Lisp.
- Исследователи работали над пересмотром классической алгебры для повышения эффективности алгоритмов в компьютерной алгебре.
Полный текст статьи: