Jump to content

Система компьютерной алгебры

(Перенаправлено из решения уравнений )

Система компьютерной алгебры ( CAS ) или система символьной алгебры ( SAS ) — это любое математическое программное обеспечение , способное манипулировать математическими выражениями аналогично традиционным ручным вычислениям математиков и ученых . Развитие систем компьютерной алгебры во второй половине 20-го века является частью дисциплины « компьютерная алгебра » или «символьные вычисления», что стимулировало работу над алгоритмами над математическими объектами, такими как полиномы .

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

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

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

Библиотека должна обеспечивать не только потребности пользователей, но и потребности упрощателя. Например, вычисление полиномиальных наибольших общих делителей систематически используется для упрощения выражений, включающих дроби.

Такое большое количество необходимых компьютерных возможностей объясняет небольшое количество систем компьютерной алгебры общего назначения. Важнейшие системы включают Axiom , GAP , Maxima , Magma , Maple , Mathematica и SageMath .

Калькулятор Texas Instruments TI-Nspire , содержащий систему компьютерной алгебры.

Системы компьютерной алгебры начали появляться в 1960-х годах и развивались из двух совершенно разных источников — требований физиков-теоретиков и исследований в области искусственного интеллекта .

Ярким примером первой разработки была новаторская работа, проведенная впоследствии лауреатом Нобелевской премии по физике Мартинусом Вельтманом , который разработал программу для символической математики, особенно физики высоких энергий, под названием Schoonschip (по-голландски «чистый корабль») в 1963 году. Другой ранней системой был FORMAC .

Используя Lisp в качестве основы программирования, Карл Энгельман создал MATHLAB в 1964 году в MITRE в рамках исследовательской среды искусственного интеллекта. Позже MATHLAB стал доступен пользователям систем PDP-6 и PDP-10, работающих под управлением TOPS-10 или TENEX в университетах. Сегодня его все еще можно использовать в SIMH- эмуляциях PDP-10. MATLAB (« математическая Университете лаборатория ») не следует путать с MATLAB матричная Мексико лаборатория »), которая представляет собой систему численных вычислений, созданную 15 лет спустя в Нью- .

В 1987 году компания Hewlett-Packard представила первый портативный калькулятор CAS серии HP-28 . [1] Другие ранние портативные калькуляторы с возможностями символьной алгебры включали серию Texas Instruments TI-89 и калькулятор TI-92 , а также Casio CFX-9970G . [2]

Первыми популярными системами компьютерной алгебры были muMATH , Download , Derive (на основе muMATH) и Macsyma ; версия Macsyma с авторским левом называется Maxima . Редукция стала свободным программным обеспечением в 2008 году. [3] Коммерческие системы включают Mathematica [4] и Maple , которые обычно используются математиками-исследователями, учеными и инженерами. Свободно доступные альтернативы включают SageMath (который может выступать в качестве интерфейса для нескольких других бесплатных и несвободных CAS). Другие важные системы включают Axiom , GAP , Maxima и Magma .

Переход к веб-приложениям в начале 2000-х годов ознаменовался выпуском WolframAlpha , онлайн-поисковой системы и CAS, включающего возможности Mathematica . [5]

Совсем недавно системы компьютерной алгебры были реализованы с использованием искусственных нейронных сетей , хотя по состоянию на 2020 год они коммерчески недоступны. [6]

Символические манипуляции

[ редактировать ]

Поддерживаемые символические манипуляции обычно включают:

В приведенном выше слове слово some указывает на то, что операцию не всегда можно выполнить.

Дополнительные возможности

[ редактировать ]

Многие из них также включают в себя:

Некоторые включают в себя:

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

Типы выражений

[ редактировать ]

Выражения, которыми управляет CAS, обычно включают полиномы от нескольких переменных; стандартные функции выражений ( синус , экспонента и т. д.); различные специальные функции ( Γ , ζ , erf , функции Бесселя и т. д.); произвольные функции выражений; оптимизация; производные, интегралы, упрощения, суммы и произведения выражений; усеченные ряды с выражениями в виде коэффициентов, матриц выражений и т. д. Поддерживаемые числовые домены обычно включают представление действительных чисел с плавающей запятой , целые числа (неограниченного размера), комплексные (представление с плавающей запятой), интервальное представление действительных чисел , рациональные числа (точное представление) и алгебраические числа .

Использование в образовании

[ редактировать ]

Было много сторонников более широкого использования систем компьютерной алгебры в классах начальной и средней школы. Основная причина такой пропаганды заключается в том, что системы компьютерной алгебры отражают реальную математику больше, чем математика, основанная на бумаге и карандаше или ручном калькуляторе. [12] Это стремление к более широкому использованию компьютеров в классах математики было поддержано некоторыми советами по образованию. В некоторых регионах это даже включено в учебную программу. [13]

Системы компьютерной алгебры широко используются в высшем образовании. [14] [15] Многие университеты либо предлагают специальные курсы по развитию их использования, либо подразумевают, что студенты будут использовать их в своей курсовой работе. Компании, разрабатывающие системы компьютерной алгебры, стремятся увеличить их распространенность в программах университетов и колледжей. [16] [17]

Калькуляторы, оборудованные CAS, не разрешены в ACT , PLAN и в некоторых классах. [18] хотя это может быть разрешено на всех тестах Совета колледжей , разрешенных к использованию калькуляторов, включая SAT , некоторые предметные тесты SAT и экзамены AP по исчислению , химии , физике и статистике . [19]

Математика, используемая в системах компьютерной алгебры

[ редактировать ]

См. также

[ редактировать ]
  1. ^ Нельсон, Ричард. «Первые калькуляторы Hewlett-Packard» . Хьюлетт-Паккард. Архивировано из оригинала 3 июля 2010 г.
  2. ^ Кунс, Альберт (октябрь 1999 г.), «Начало работы с системами символьной математики: инструмент повышения производительности», Technology Tips, The Mathematics Teacher , 92 (7): 620–622, doi : 10.5951/mt.92.7.0620 , JSTOR   27971125
  3. ^ «Система компьютерной алгебры REDUCE в SourceForge» . уменьшить-algebra.sourceforge.net . Проверено 28 сентября 2015 г.
  4. Интервью с Гастоном Гонне, соавтором Maple. Архивировано 29 декабря 2007 г. в Wayback Machine , SIAM History of Numerical Analysis and Computing, 16 марта 2005 г.
  5. ^ Бхаттачарья, Джотирмой (12 мая 2022 г.). «Wolfram|Alpha: бесплатная онлайн-система компьютерной алгебры» . Индус . ISSN   0971-751X . Проверено 26 апреля 2023 г.
  6. ^ Орнес, Стивен. «Символическая математика наконец уступает место нейронным сетям» . Журнал Кванта . Проверено 4 ноября 2020 г.
  7. ^ Дана-Пикар, Тьерри Ноа. «Компьютерные доказательства и автоматизированные методы в математическом образовании» . arxiv.org . Проверено 23 июня 2024 г.
  8. ^ «dsolve — Помощь по программированию на Maple» . www.maplesoft.com . Проверено 9 мая 2020 г.
  9. ^ «DSolve — Документация по языку Wolfram» . www.wolfram.com . Проверено 28 июня 2020 г.
  10. ^ «Основы алгебры и исчисления — Учебное пособие Sage v9.0» . doc.sagemath.org . Проверено 9 мая 2020 г.
  11. ^ «Символическая алгебра и математика с Xcas» (PDF) .
  12. ^ «Обучение детей настоящей математике с помощью компьютеров» . Тед.ком . Проверено 12 августа 2017 г.
  13. ^ «Математика - Образование Манитобы» . Edu.gov.mb.ca. ​Проверено 12 августа 2017 г.
  14. ^ «Математика для преподавателей, сотрудников и студентов: информационные технологии - Северо-Западный университет» . It.northwestern.edu . Проверено 12 августа 2017 г.
  15. ^ «Математика для студентов — информационные технологии Колумбийского университета» . cuit.columbia.edu . Проверено 12 августа 2017 г.
  16. ^ «Математика для высшего образования: использование на курсах университетов и колледжей» . Вольфрам.com . Проверено 12 августа 2017 г.
  17. ^ «MathWorks — Академия — MATLAB и Simulink» . Mathworks.com . Проверено 12 августа 2017 г.
  18. Тесты CAAP ACT: использование калькуляторов в тесте по математике CAAP. Архивировано 31 августа 2009 г., в Wayback Machine.
  19. ^ «Политика расчета экзаменов AP» . Студенты АП . Совет колледжа . Проверено 24 мая 2024 г.
  20. ^ Jump up to: а б Б. Бухбергер; Дж. Е. Коллинз; Р. Лоос (29 июня 2013 г.). Компьютерная алгебра: символические и алгебраические вычисления . Springer Science & Business Media. ISBN  978-3-7091-3406-1 .
  21. ^ Иоахим фон цур Гатен; Юрген Герхард (25 апреля 2013 г.). Современная компьютерная алгебра . Издательство Кембриджского университета. ISBN  978-1-107-03903-2 .
  22. ^ Кейт О. Геддес; Стивен Р. Чапор; Джордж Лабан (30 июня 2007 г.). Алгоритмы компьютерной алгебры . Springer Science & Business Media. ISBN  978-0-585-33247-5 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: a20e833eedb5481432ce60f087c44a04__1719786240
URL1:https://arc.ask3.ru/arc/aa/a2/04/a20e833eedb5481432ce60f087c44a04.html
Заголовок, (Title) документа по адресу, URL1:
Computer algebra system - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)