О книге
В пособии рассматриваются алгебраические алгоритмы на примере системы компьютерной алгебры Sage. Обсуждаются манипуляции с символьными выражениями, вычисления в различных алгебраических структурах, преобразования систем алгебраических уравнений. Пособие снабжено упражнениями и задачами.
Для студентов 3-4-го курсов математических и компьютерных специальностей, изучающих математику и компьютерную алгебру.
Список литературы
- Панкратьев Е.В. Элементы компьютерной алгебры. М.: БИ-НОМ – Лаборатория знаний, 2007.
- Винберг Э.Б. Курс алгебры. М.: Факториал пресс, 2002.
- Сборник задач по алгебре / Под ред. А.И. Кострикина. М.: МЦ-НМО, 2009.
- Кострикин А.И. Введение в алгебру. В 3 ч. М.: Физматлит, 2001.
- Михалев А.В., Михалев А.А. Начала алгебры. М.: ИНТУИТ, 2005.
- Stein W. The Sage Tutorial. http: // www.sagemath.org/doc/tut/tut.html
- Stein W. Sage Reference Manual. http: // www.sagemath.org/doc/ref/ref.html
- Stein W. Sage Developer’s Guide. http: // www.sagemath.org/doc/prog/prog.html
- Аржанцев И.В. Базисы Грёбнера и системы алгебраических уравнений. М.: МЦНМО, 2003.
- Кокс Д., Литтл Д., О’Ши Д. Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии коммутативной алгебры. М.: Мир, 2000.
- Cox D., Little J., O’Shea D. Using Algebraic Geometry. Secondedition. Graduate Texts in Mathematics. Vol. 185. New York: Springer-Verlag, 2005.
- Kreuzer M., Robbiano L. Computational Commutative Algebra.Two parts. New York: Springer-Verlag, 2001, 2005.
- Becker Th., Weispfenning V. Groebner Bases: A Computational Approach To Commutative Algebra. Graduate Texts in Mathematics.Vol. 141. New York: Springer-Verlag, 1993.
- Прасолов В.В. Многочлены. М.: МЦНМО, 2001.
