Компьютерная алгебра

Символьное интегрирование алгебраической функции $f ( x ) = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num{display:block;line-height:1em;margin:0.0em 0.1em;border-bottom:1px solid}.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0.1em 0.1em}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}х / √ х 4 + 10 х 2 − 96 x − 71$ с использованием системы компьютерной алгебры *Аксиома*

В математике и информатике , ^[1] Компьютерная алгебра , также называемая символическими вычислениями или алгебраическими вычислениями , — это научная область, которая занимается изучением и разработкой алгоритмов и программного обеспечения для управления математическими выражениями и другими математическими объектами . Хотя компьютерную алгебру можно считать подобластью научных вычислений , их обычно рассматривают как отдельные области, поскольку научные вычисления обычно основаны на числовых вычислениях с приблизительными числами с плавающей запятой , в то время как символьные вычисления делают упор на точные вычисления с выражениями, содержащими переменные , которые не имеют заданного значения и манипулируются как символы.

Программные приложения, выполняющие символьные вычисления, называются системами компьютерной алгебры , причем термин «система» указывает на сложность основных приложений, которые включают, по крайней мере, метод представления математических данных на компьютере, язык пользовательского программирования (обычно отличающийся от языка используемый для реализации), выделенный менеджер памяти, пользовательский интерфейс для ввода/вывода математических выражений, большой набор подпрограмм для выполнения обычных операций, таких как упрощение выражений, дифференцирование с использованием цепного правила , полиномиальная факторизация , неопределенное интегрирование , и т. д.

Компьютерная алгебра широко используется для математических экспериментов и разработки формул, используемых в числовых программах. Он также используется для полных научных вычислений, когда чисто численные методы не работают, как в криптографии с открытым ключом , или для некоторых нелинейных задач.

Терминология [ править ]

Некоторые авторы отличают компьютерную алгебру от символьных вычислений, используя последнее название для обозначения видов символьных вычислений, отличных от вычислений с помощью математических формул . Некоторые авторы используют символьные вычисления для аспекта информатики предмета и «компьютерную алгебру» для математического аспекта. ^[2]В некоторых языках название поля не является прямым переводом его английского названия. Обычно по-французски это называется Calcul Formel , что означает «формальное вычисление». Это название отражает связь этой области с формальными методами .

Символьные вычисления в прошлом также назывались символическими манипуляциями , алгебраическими манипуляциями , символьной обработкой , символьной математикой или символической алгеброй , но эти термины, которые также относятся к невычислительным манипуляциям, больше не используются по отношению к компьютеру. алгебра.

Научное сообщество [ править ]

Не существует научного общества , специализирующегося на компьютерной алгебре, но эту функцию берет на себя группа по особым интересам Ассоциации вычислительной техники под названием SIGSAM (Специальная группа по интересам). «Символические и алгебраические манипуляции»). ^[3]

Ежегодно проводится несколько конференций по компьютерной алгебре, главной из которых является ISSAC (Международный симпозиум по символьным и алгебраическим вычислениям), который регулярно спонсируется SIGSAM. ^[4]

Существует несколько журналов, специализирующихся на компьютерной алгебре, ведущим из которых является Journal of Символические вычисления, основанный в 1985 году Бруно Бухбергером . ^[5] Есть также несколько других журналов, которые регулярно публикуют статьи по компьютерной алгебре. ^[6]

информатики Аспекты

Представление данных [ править ]

Поскольку числовое программное обеспечение очень эффективно для приближенных численных вычислений , в компьютерной алгебре принято уделять особое внимание точным вычислениям с точно представленными данными. Такое точное представление подразумевает, что даже если размер выходных данных невелик, промежуточные данные, генерируемые во время вычислений, могут расти непредсказуемым образом. Такое поведение называется раздутием выражения . ^[7] Чтобы обойти эту проблему, используются различные методы представления данных, а также алгоритмы, которые ими манипулируют. ^[8]

Числа [ править ]

Обычные системы счисления, используемые в числовых вычислениях, представляют собой числа с плавающей запятой и целые числа фиксированного ограниченного размера. Ни один из них не удобен для компьютерной алгебры из-за раздутости выражений. ^[9]

Таким образом, основные числа, используемые в компьютерной алгебре, — это целые числа математиков, обычно представленные неограниченной последовательностью цифр со знаком в некоторой системе счисления , обычно самой большой базе, разрешенной машинным словом . Эти целые числа позволяют определить рациональные числа , которые являются несократимыми дробями двух целых чисел.

Программирование эффективной реализации арифметических операций — сложная задача. Поэтому большинство бесплатных систем компьютерной алгебры и некоторые коммерческие системы, такие как Mathematica и Maple , ^[10]^[11] используйте библиотеку GMP , которая, таким образом, является стандартом де-факто .

Выражения [ править ]

Представление выражения $(8 - 6) \times (3 + 1)$ в виде дерева Лиспа из магистерской диссертации 1985 года. ^[12]

За исключением чисел и переменных , каждое математическое выражение можно рассматривать как символ оператора, за которым следует последовательность операндов. В программах компьютерной алгебры выражения обычно представляются таким образом. Это представление очень гибкое, и многие вещи, которые на первый взгляд не кажутся математическими выражениями, можно представлять и манипулировать ими как таковые. Например, уравнение — это выражение с «=" в качестве оператора, матрица может быть представлена как выражение с «матрицей» в качестве оператора и ее строками в качестве операндов.

Даже программы можно рассматривать и представлять как выражения с оператором «процедура» и, по крайней мере, двумя операндами, списком параметров и телом, которое само по себе является выражением с «телом» в качестве оператора и последовательностью инструкций в качестве операндов. И наоборот, любое математическое выражение можно рассматривать как программу. Например, выражение $a + b$ можно рассматривать как программу сложения с $a$ и $b$ параметрами . Выполнение этой программы заключается в вычислении выражения для заданных значений $a$ и $b$ ; если им не присвоено никаких значений, результат оценки является просто входными данными.

Этот процесс отложенной оценки является фундаментальным в компьютерной алгебре. Например, оператор «=» уравнений в большинстве систем компьютерной алгебры также является названием программы проверки равенства: обычно вычисление уравнения приводит к уравнению, но когда требуется проверка равенства , либо явно запрашиваемый пользователем через команду «оценка логического значения», либо автоматически запускаемый системой в случае теста внутри программы, затем выполняется оценка логического результата.

Поскольку размер операндов выражения непредсказуем и может меняться в течение рабочего сеанса, последовательность операндов обычно представляется как последовательность либо указателей ), либо в виде последовательности указателей (как в (как в Macsyma Macsyma ) . ^[13] или записи в хэш-таблице (например, в Maple ).

Упрощение [ править ]

Грубое применение основных правил дифференцирования по $x$ к выражению $a^{x}$ дает результат

x\cdot a^{x-1}\cdot 0+a^{x}\cdot \left(1\cdot \log a+x\cdot {\frac {0}{a}}\right).

Обычно желательно использовать более простое выражение, а при работе с общими выражениями необходимо упрощение.

Это упрощение обычно достигается путем переписывания правил . ^[14]Следует рассмотреть несколько классов правил переписывания. Самыми простыми являются правила, которые всегда уменьшают размер выражения, например $E - E \to 0$ или $sin(0) \to 0$ . Они систематически применяются в системах компьютерной алгебры.

Трудность возникает с ассоциативными операциями, такими как сложение и умножение. Стандартный способ борьбы с ассоциативностью — учитывать, что сложение и умножение имеют произвольное количество операндов, то есть $a + b + c$ представляется как $«+»(a, b, c)$ . Таким образом, $a + (b + c)$ и $(a + b) + c$ упрощаются до $«+»(a, b, c)$ , который отображается $как a + b + c$ . В случае таких выражений, как $a - b + c$ , проще всего систематически переписать $- E$ , $E - F$ , $E / F$ как соответственно $(-1)\cdot E$ , $E + (-1)\cdot F$ , $Э \cdot Ф -1$ . Другими словами, во внутреннем представлении выражений нет ни вычитания, ни деления, ни унарного минуса, вне представления чисел.

Другая трудность возникает с коммутативностью сложения и умножения. Проблема состоит в том, чтобы быстро распознать схожие термины , чтобы объединить или отменить их. Проверка каждой пары условий требует больших затрат при использовании очень длинных сумм и произведений. Чтобы решить эту проблему, Macsyma сортирует операнды сумм и произведений в таком порядке, в котором подобные термины располагаются в последовательных местах, что упрощает обнаружение. В Maple хеш -функция предназначена для генерации коллизий при вводе одинаковых терминов, что позволяет их объединять сразу после их введения. Это позволяет сразу распознавать и сохранять подвыражения, которые появляются в процессе вычисления несколько раз, и сохранять их только один раз. Это экономит память и ускоряет вычисления, избегая повторения одних и тех же операций с идентичными выражениями.

Некоторые правила перезаписи иногда увеличивают, а иногда уменьшают размер выражений, к которым они применяются. Это случай дистрибутивности или тригонометрических тождеств . Например, закон дистрибутивности позволяет переписать $(x+1)^{4}\rightarrow x^{4}+4x^{3}+6x^{2}+4x+1$ и $(x-1)(x^{4}+x^{3}+x^{2}+x+1)\rightarrow x^{5}-1.$ Поскольку нет способа сделать правильный общий выбор, применять или нет такое правило перезаписи, такое перезапись выполняется только при явном вызове пользователя. Что касается дистрибутивности, компьютерная функция, применяющая это правило перезаписи, обычно называется «расширением». Правило обратной переписывания, называемое «фактором», требует нетривиального алгоритма, который, таким образом, является ключевой функцией в системах компьютерной алгебры (см. Полиномиальная факторизация ).

Математические аспекты [ править ]

Некоторые фундаментальные математические вопросы возникают, когда кто-то хочет манипулировать математическими выражениями в компьютере. Мы рассматриваем главным образом случай многомерных рациональных дробей . Это не является реальным ограничением, поскольку, как только иррациональные функции , входящие в выражение, упрощаются, они обычно рассматриваются как новые неопределенные. Например,

(\sin(x+y)^{2}+\log(z^{2}-5))^{3}

рассматривается как многочлен $\sin(x+y)$ и $\log(z^{2}-5)$

Равенство [ править ]

Есть два понятия равенства математических выражений . Синтаксическое равенство — это равенство их представления в компьютере. Это легко проверить в программе. Семантическое равенство — это когда два выражения представляют один и тот же математический объект, как в

(x+y)^{2}=x^{2}+2xy+y^{2}.

известно Из теоремы Ричардсона , что может не существовать алгоритма, который решает, являются ли два выражения, представляющие числа, семантически равными, если в выражениях разрешены экспоненты и логарифмы. Соответственно, (семантическое) равенство можно проверять только на некоторых классах выражений, таких как многочлены и рациональные дроби .

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

В компьютерной алгебре «каноническая форма» и «нормальная форма» не являются синонимами. ^[15]Каноническая форма такова, что два выражения в канонической форме семантически равны тогда и только тогда, когда они синтаксически равны, в то время как нормальная форма такова, что выражение в нормальной форме семантически равно нулю только в том случае, если оно синтаксически равно нулю. Другими словами, ноль имеет уникальное представление как выражение в нормальной форме.

В компьютерной алгебре обычно отдают предпочтение нормальным формам по нескольким причинам. Во-первых, вычисление канонических форм может быть более затратным, чем нормальные формы. Например, чтобы привести полином в каноническую форму, нужно разложить каждое произведение через дистрибутивность , тогда как при нормальной форме это не обязательно (см. ниже). Во-вторых, как и в случае с выражениями, включающими радикалы, может случиться так, что каноническая форма, если она существует, зависит от некоторого произвольного выбора и что этот выбор может быть различным для двух выражений, которые были вычислены независимо. Это может сделать невозможным использование канонической формы.

История [ править ]

управляемая Компьютерная алгебра человеком ,

Ранние системы компьютерной алгебры, такие как ENIAC в Пенсильванском университете , полагались на человеческие компьютеры или программистов, чтобы перепрограммировать их между вычислениями, манипулировать многочисленными физическими модулями (или панелями) и снабжать устройство чтения карт IBM. ^[16] Женщины-математики выполняли большую часть программных вычислений ENIAC, управляемых человеком: Джин Дженнингс , Марлин Вескофф , Рут Лихтерман , Бетти Снайдер , Фрэнсис Билас и Кей МакНалти возглавляли указанные усилия. ^[17]

и приложения Основы ранние

В 1960 году Джон Маккарти исследовал расширение примитивных рекурсивных функций для вычисления символьных выражений с помощью Лисп языка программирования , находясь в Массачусетском технологическом институте . ^[18] Хотя его серия «Рекурсивные функции символьных выражений и их машинное вычисление» осталась незавершенной, ^[19] Маккарти и его вклад в программирование искусственного интеллекта и компьютерную алгебру с помощью Lisp помогли основать проект MAC в Массачусетском технологическом институте и организацию, которая позже стала Стэнфордской лабораторией искусственного интеллекта (SAIL) в Стэнфордском университете , чья конкуренция способствовала значительному развитию компьютерной алгебры на протяжении всего периода конец 20 века.

Первые попытки символьных вычислений, предпринятые в 1960-х и 1970-х годах, столкнулись с проблемами, связанными с неэффективностью давно известных алгоритмов при переносе их в системы компьютерной алгебры. ^[20] Предшественники проекта MAC, такие как ALTRAN , стремились преодолеть алгоритмические ограничения за счет усовершенствований в аппаратном обеспечении и интерпретаторах, а более поздние усилия были направлены на оптимизацию программного обеспечения. ^[21]

Исторические проблемы

Большая часть работы исследователей в этой области заключалась в пересмотре классической алгебры с целью повышения ее эффективности при разработке эффективных алгоритмов для использования в компьютерной алгебре. Примером такого типа работы является вычисление полиномиальных наибольших общих делителей — задача, необходимая для упрощения дробей и важный компонент компьютерной алгебры. Классические алгоритмы для этих вычислений, такие как алгоритм Евклида , оказались неэффективными в бесконечных полях; алгоритмы линейной алгебры столкнулись с аналогичными трудностями. ^[22] Таким образом, исследователи обратились к поиску методов сведения полиномов (например, над кольцом целых чисел или уникальной областью факторизации ) к варианту, эффективно вычислимому с помощью алгоритма Евклида.

Алгоритмы, используемые в компьютерной алгебре [ править ]

Алгоритм Бухбергера : находит базис Грёбнера.
Алгоритм Кантора – Цассенхауза : фактор-полиномы над конечными полями
Алгоритм Фожера F4 : находит базис Грёбнера (также упоминается алгоритм F5).
Алгоритм Госпера : найти суммы гипергеометрических терминов, которые сами являются гипергеометрическими терминами.
Алгоритм завершения Кнута – Бендикса : для переписывания систем правил.
Алгоритм многомерного деления : для многочленов от нескольких неопределенных
Алгоритм кенгуру Полларда (также известный как лямбда-алгоритм Полларда): алгоритм решения задачи дискретного логарифмирования.
Полиномиальное деление в длину : алгоритм деления многочлена на другой многочлен той же или меньшей степени.
Алгоритм Риша : алгоритм вычисления операции неопределенного интегрирования (т.е. поиска первообразных )

См. также [ править ]

Ссылки [ править ]

^ «Ассоциация ACM по компьютерной алгебре» .
^ Ватт, Стивен М. (2006). Сделать компьютерную алгебру более символичной (приглашено) (PDF) . Трансгрессивные вычисления 2006: Конференция в честь Жана Делла Дора (TC 2006). стр. 43–49. ISBN 9788468983813 . OCLC 496720771 .
^ Официальный сайт СИГСАМ
^ «Список конференций СИГСАМ» . Архивировано из оригинала 8 августа 2013 г. Проверено 15 ноября 2012 г.
^ Коэн, Джоэл С. (2003). Компьютерная алгебра и символьные вычисления: математические методы . АК Петерс. п. 14 . ISBN 978-1-56881-159-8 .
^ Список журналов SIGSAM
^ «Лекция 12: Рациональные функции и преобразования. Введение в символические вычисления. Документация 1.7.6» . homepages.math.uic.edu . Проверено 31 марта 2024 г.
^ Нойт, Сильвен; Петито, Мишель; Дриди, Рауф (01 марта 2009 г.). «Геометрическое видение Эли Картана, или как избежать наплыва выражений» . Журнал символических вычислений . Решение полиномиальной системы в честь Дэниела Лазарда. 44 (3): 261–270. дои : 10.1016/j.jsc.2007.04.006 . ISSN 0747-7171 .
^ Ричард Лиска Выражение swell , из «Особенностей программирования в системах компьютерной алгебры»
^ «Ядро Mathematica: проблемы проектирования и реализации» . Октябрь 2006 г. Проверено 29 ноября 2023 г.
^ «Библиотека GNU Multiple Precision (GMP)» . Мэйплсофт . Проверено 29 ноября 2023 г.
^ Кэссиди, Кевин Г. (декабрь 1985 г.). Возможность автоматического освобождения памяти с параллельным выполнением программ в среде LISP (PDF) (магистерская диссертация). Военно-морская аспирантура, Монтерей/Калифорния. п. 15. АДА165184.
^ Справочное руководство Macsyma по математике и системам (PDF) . Максима . 1996. с. 419.
^ Бухбергер, Бруно; Лоос, Рюдигер (1983). «Алгебраическое упрощение» (PDF) . В Бухбергере, Бруно; Коллинз, Джордж Эдвин; Лоос, Рюдигер; Альбрехт, Рудольф (ред.). Компьютерная алгебра: символические и алгебраические вычисления . Вычислительное дополнение. Том. 4. стр. 11–43. дои : 10.1007/978-3-7091-7551-4_2 . ISBN 978-3-211-81776-6 .
^ Давенпорт, Дж. Х.; Сирет, Ю.; Турнье, Э. (1988). Компьютерная алгебра: системы и алгоритмы алгебраических вычислений . Академический. ISBN 0-12-204230-1 . OCLC 802584470 .
^ «ЭНИАК в действии: что это было и как работало» . ENIAC: Празднование истории инженерного дела Пенсильванского университета . Пенсильванский университет. Проверено 3 декабря 2023 г.
^ Лайт, Дженнифер С. (1999). «Когда компьютеры были женщинами» . Технологии и культура . 40 (3): 455–483. дои : 10.1353/tech.1999.0128 . ISSN 1097-3729 .
^ Маккарти, Джон (1 апреля 1960 г.). «Рекурсивные функции символьных выражений и их машинное вычисление, Часть I» . Коммуникации АКМ . 3 (4): 184–195. дои : 10.1145/367177.367199 . ISSN 0001-0782 .
^ Вексельблат, Ричард Л. (1981). История языков программирования . Серия монографий АСМ. Конференция по истории языков программирования, Ассоциация вычислительной техники. Нью-Йорк Лондон Торонто: Академическая пресса. ISBN 978-0-12-745040-7 .
^ «Символические вычисления (Редакционная статья)» . Журнал символических вычислений . 1 (1): 1–6. 1 марта 1985 г. дои : 10.1016/S0747-7171(85)80025-0 . ISSN 0747-7171 .
^ Фельдман, Стюарт И. (1 ноября 1975 г.). «Краткая характеристика Альтрана» . Бюллетень ACM SIGSAM . 9 (4): 12–20. дои : 10.1145/1088322.1088325 . ISSN 0163-5824 .
^ Кальтофен, Э. (1983), Бухбергер, Бруно; Коллинз, Джордж Эдвин; Лоос, Рюдигер; Альбрехт, Рудольф (ред.), «Факторизация многочленов » , Компьютерная алгебра , Приложение по вычислениям, том. 4, Вена: Springer Vienna. 95–113, номер домена : 10.1007/978-3-7091-7551-4_8 , ISBN. 978-3-211-81776-6 , получено 29 ноября 2023 г.

Дальнейшее чтение [ править ]

Для детального определения предмета:

Бухбергер, Бруно (1985). «Символические вычисления (Редакционная статья)» (PDF) . Журнал символических вычислений . 1 (1): 1–6. дои : 10.1016/S0747-7171(85)80025-0 .

Для учебников, посвященных данному предмету:

Давенпорт, Джеймс Х .; Сирет, Ивон; Турнье, Эвелин (1988). Компьютерная алгебра: системы и алгоритмы алгебраических вычислений . Перевод с французского А. Давенпорта и Дж. Х. Давенпорта. Академическая пресса. ISBN 978-0-12-204230-0 .
фон цур Гатен, Иоахим; Герхард, Юрген (2003). Современная компьютерная алгебра (2-е изд.). Издательство Кембриджского университета. ISBN 0-521-82646-2 .
Геддес, КО; Чапор, СР; Лабан, Г. (1992). Алгоритмы компьютерной алгебры . Бибкод : 1992afca.book.....G . дои : 10.1007/b102438 . ISBN 978-0-7923-9259-0 .
Бухбергер, Бруно; Коллинз, Джордж Эдвин; Лоос, Рюдигер; Альбрехт, Рудольф, ред. (1983). Компьютерная алгебра: символические и алгебраические вычисления . Вычислительное дополнение. Том. 4. дои : 10.1007/978-3-7091-7551-4 . ISBN 978-3-211-81776-6 . S2CID 5221892 .

[1] «Ассоциация ACM по компьютерной алгебре» .

[2] Ватт, Стивен М. (2006). Сделать компьютерную алгебру более символичной (приглашено) (PDF) . Трансгрессивные вычисления 2006: Конференция в честь Жана Делла Дора (TC 2006). стр. 43–49. ISBN 9788468983813 . OCLC 496720771 .

[3] Официальный сайт СИГСАМ

[4] «Список конференций СИГСАМ» . Архивировано из оригинала 8 августа 2013 г. Проверено 15 ноября 2012 г.

[5] Коэн, Джоэл С. (2003). Компьютерная алгебра и символьные вычисления: математические методы . АК Петерс. п. 14 . ISBN 978-1-56881-159-8 .

[6] Список журналов SIGSAM

[7] «Лекция 12: Рациональные функции и преобразования. Введение в символические вычисления. Документация 1.7.6» . homepages.math.uic.edu . Проверено 31 марта 2024 г.

[8] Нойт, Сильвен; Петито, Мишель; Дриди, Рауф (01 марта 2009 г.). «Геометрическое видение Эли Картана, или как избежать наплыва выражений» . Журнал символических вычислений . Решение полиномиальной системы в честь Дэниела Лазарда. 44 (3): 261–270. дои : 10.1016/j.jsc.2007.04.006 . ISSN 0747-7171 .

[9] Ричард Лиска Выражение swell , из «Особенностей программирования в системах компьютерной алгебры»

[10] «Ядро Mathematica: проблемы проектирования и реализации» . Октябрь 2006 г. Проверено 29 ноября 2023 г.

[11] «Библиотека GNU Multiple Precision (GMP)» . Мэйплсофт . Проверено 29 ноября 2023 г.

[12] Кэссиди, Кевин Г. (декабрь 1985 г.). Возможность автоматического освобождения памяти с параллельным выполнением программ в среде LISP (PDF) (магистерская диссертация). Военно-морская аспирантура, Монтерей/Калифорния. п. 15. АДА165184.

[13] Справочное руководство Macsyma по математике и системам (PDF) . Максима . 1996. с. 419.

[14] Бухбергер, Бруно; Лоос, Рюдигер (1983). «Алгебраическое упрощение» (PDF) . В Бухбергере, Бруно; Коллинз, Джордж Эдвин; Лоос, Рюдигер; Альбрехт, Рудольф (ред.). Компьютерная алгебра: символические и алгебраические вычисления . Вычислительное дополнение. Том. 4. стр. 11–43. дои : 10.1007/978-3-7091-7551-4_2 . ISBN 978-3-211-81776-6 .

[15] Давенпорт, Дж. Х.; Сирет, Ю.; Турнье, Э. (1988). Компьютерная алгебра: системы и алгоритмы алгебраических вычислений . Академический. ISBN 0-12-204230-1 . OCLC 802584470 .

[16] «ЭНИАК в действии: что это было и как работало» . ENIAC: Празднование истории инженерного дела Пенсильванского университета . Пенсильванский университет. Проверено 3 декабря 2023 г.

[17] Лайт, Дженнифер С. (1999). «Когда компьютеры были женщинами» . Технологии и культура . 40 (3): 455–483. дои : 10.1353/tech.1999.0128 . ISSN 1097-3729 .

[18] Маккарти, Джон (1 апреля 1960 г.). «Рекурсивные функции символьных выражений и их машинное вычисление, Часть I» . Коммуникации АКМ . 3 (4): 184–195. дои : 10.1145/367177.367199 . ISSN 0001-0782 .

[19] Вексельблат, Ричард Л. (1981). История языков программирования . Серия монографий АСМ. Конференция по истории языков программирования, Ассоциация вычислительной техники. Нью-Йорк Лондон Торонто: Академическая пресса. ISBN 978-0-12-745040-7 .

[20] «Символические вычисления (Редакционная статья)» . Журнал символических вычислений . 1 (1): 1–6. 1 марта 1985 г. дои : 10.1016/S0747-7171(85)80025-0 . ISSN 0747-7171 .

[21] Фельдман, Стюарт И. (1 ноября 1975 г.). «Краткая характеристика Альтрана» . Бюллетень ACM SIGSAM . 9 (4): 12–20. дои : 10.1145/1088322.1088325 . ISSN 0163-5824 .

[22] Кальтофен, Э. (1983), Бухбергер, Бруно; Коллинз, Джордж Эдвин; Лоос, Рюдигер; Альбрехт, Рудольф (ред.), «Факторизация многочленов » , Компьютерная алгебра , Приложение по вычислениям, том. 4, Вена: Springer Vienna. 95–113, номер домена : 10.1007/978-3-7091-7551-4_8 , ISBN. 978-3-211-81776-6 , получено 29 ноября 2023 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

v т Это Системы компьютерной алгебры
Open-source	Axiom Cadabra CoCoA Fermat FriCAS FORM GAP GiNaC Macaulay2 Maxima Normaliz PARI/GP Reduce SageMath Singular SymPy Xcas/Giac Yacas
Proprietary	ClassPad Manager KANT Magma Maple Mathcad Mathematica muPAD (MATLAB symbolic math toolbox) SMath Studio TI InterActive! Engineering Equation Solver
Discontinued	CAMAL Derive Erable LiveMath Macsyma Mathomatic muMATH ALTRAN
Category List

v т Это Информатика
Note: This template roughly follows the 2012 ACM Computing Classification System.
Hardware	Printed circuit board Peripheral Integrated circuit Very Large Scale Integration Systems on Chip (SoCs) Energy consumption (Green computing) Electronic design automation Hardware acceleration
Computer systems organization	Computer architecture Computational complexity Dependability Embedded system Real-time computing
Networks	Network architecture Network protocol Network components Network scheduler Network performance evaluation Network service
Software organization	Interpreter Middleware Virtual machine Operating system Software quality
Software notations and tools	Programming paradigm Programming language Compiler Domain-specific language Modeling language Software framework Integrated development environment Software configuration management Software library Software repository
Software development	Control variable Software development process Requirements analysis Software design Software construction Software deployment Software engineering Software maintenance Programming team Open-source model
Theory of computation	Model of computation Formal language Automata theory Computability theory Computational complexity theory Logic Semantics
Algorithms	Algorithm design Analysis of algorithms Algorithmic efficiency Randomized algorithm Computational geometry
Mathematics of computing	Discrete mathematics Probability Statistics Mathematical software Information theory Mathematical analysis Numerical analysis Theoretical computer science
Information systems	Database management system Information storage systems Enterprise information system Social information systems Geographic information system Decision support system Process control system Multimedia information system Data mining Digital library Computing platform Digital marketing World Wide Web Information retrieval
Security	Cryptography Formal methods Security hacker Security services Intrusion detection system Hardware security Network security Information security Application security
Human–computer interaction	Interaction design Social computing Ubiquitous computing Visualization Accessibility
Concurrency	Concurrent computing Parallel computing Distributed computing Multithreading Multiprocessing
Artificial intelligence	Natural language processing Knowledge representation and reasoning Computer vision Automated planning and scheduling Search methodology Control method Philosophy of artificial intelligence Distributed artificial intelligence
Machine learning	Supervised learning Unsupervised learning Reinforcement learning Multi-task learning Cross-validation
Graphics	Animation Rendering Photograph manipulation Graphics processing unit Mixed reality Virtual reality Image compression Solid modeling
Applied computing	Quantum Computing E-commerce Enterprise software Computational mathematics Computational physics Computational chemistry Computational biology Computational social science Computational engineering Differentiable computing Computational healthcare Digital art Electronic publishing Cyberwarfare Electronic voting Video games Word processing Operations research Educational technology Document management
Category Outline WikiProject Commons

v т Это Основные математики области
History Timeline Future Lists Glossary
Foundations	Category theory Information theory Mathematical logic Philosophy of mathematics Set theory Type theory
Algebra	Abstract Commutative Elementary Group theory Linear Multilinear Universal Homological
Analysis	Calculus Real analysis Complex analysis Hypercomplex analysis Differential equations Functional analysis Harmonic analysis Measure theory
Discrete	Combinatorics Graph theory Order theory
Geometry	Algebraic Analytic Arithmetic Differential Discrete Euclidean Finite
Number theory	Arithmetic Algebraic number theory Analytic number theory Diophantine geometry
Topology	General Algebraic Differential Geometric Homotopy theory
Applied	Engineering mathematics Mathematical biology Mathematical chemistry Mathematical economics Mathematical finance Mathematical physics Mathematical psychology Mathematical sociology Mathematical statistics Probability Statistics Systems science Control theory Game theory Operations research
Computational	Computer science Theory of computation Computational complexity theory Numerical analysis Optimization Computer algebra
Related topics	Mathematicians lists Informal mathematics Films about mathematicians Recreational mathematics Mathematics and art Mathematics education
Mathematics portal Category Commons WikiProject