Полное описание
>
Губарев, Всеволод Юрьевич. Метод базисов Грёбнера-Ширшова : учебно-методическое пособие / В. Ю. Губарев, П. С. Колесников ; Министерство науки и высшего образования Российской Федерации, Новосибирский государственный университет, Механико-математический факультет. - Новосибирск : Новосибирский гос. ун-т, 2022. - 74, [1] с. - Библиогр.: с. 71-73 (41 назв.). - Предм. указ.: с. 74-75. - 57 экз. - ISBN 978-5-4437-1293-2. - Текст (визуальный) : непосредственный.| ГРНТИ | УДК | |
| 27.41.23 | 519.61 |
Рубрики:
Компьютерная алгебра
Кл.слова (ненормированные): АЛГЕБРЫ ЛИ -- АЛГОРИТМИЧЕСКИЕ ЗАДАЧИ -- АССОЦИАТИВНЫЕ АЛГЕБРЫ -- ГОМОЛОГИЧЕСКАЯ АЛГЕБРА -- КОМПЬЮТЕРНАЯ АЛГЕБРА -- ПРОГРАММНЫЕ ПАКЕТЫ
Аннотация: Изложены теоретические основы метода базисов Грёбнера-Ширшова для некоммутативных ассоциативных алгебр. Рассмотрены приложения этого метода к изучению проблемы равенства в группах и полугруппах, а также для исследования строения классических примеров алгебр: универсальных ассоциативных обертывающих алгебр, алгебр Клиффорда, линейных квантовых групп и др. В заключительной главе приведен обзор некоторых пакетов компьютерной алгебры, позволяющих производить вычисления композиций некоммутативных многочленов в рамках метода базисов Грёбнера-Ширшова. Пособие предназначено для студентов математических факультетов вузов, для преподавателей и исследователей в области алгебры.
Доп. точки доступа:
Колесников, Павел Сергеевич
Новосибирский государственный университет. Механико-математический факультет
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-22/2231)>
Шифр в сводном ЭК: a50d64d92c0df98b05e853307b8763ff
Губарев, Всеволод Юрьевич. Метод базисов Грёбнера-Ширшова : учебно-методическое пособие / В. Ю. Губарев, П. С. Колесников, 2022. - 74, [1] с. - Текст (визуальный) : непосредственный.Романовский, Николай Семенович. Теория Галуа : Учебно-методическое пособие / Романовский Н. С., 2023. - 85 с. - Текст : электронный.Романовский, Николай Семенович. Высшая алгебра. Теория Галуа : учебник для вузов / Н. С. Романовский, П. С. Колесников, А. А. Бутурлакин., 2025. - 84 с. - Текст : электронный.
Ильин В.П. Методы решения обыкновенных дифференциальных уравнений : учебное пособие / В. П. Ильин, 2017. - 509 с. - Текст : непосредственный.Физика элементарных частиц, астрофизика и космология : МНСК-2018: материалы 56-й Международной научной студенческой конференции, 22-27 апреля 2018 г.: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук., 2018. - 17 с. - Текст : непосредственный.Моделирование нестационарных плазменных процессов : монография / Ю. А. Березин, Г. И. Дудникова, Т. В. Лисейкина, М. П. Федорук, 2018. - 482, [3] с. - Текст : непосредственный.Дудников В.Г. Источники отрицательных ионов / В. Г. Дудников, 2018. - 307 с. - Текст : непосредственный.Экология России и сопредельных территорий. МЭСК-2018 : материалы XXIII Международной экологической студенческой конференции / Министерство образования и науки Российской Федерации [и др.], 2018. - 209 с. - Текст : непосредственный.Войтишек А.В. Лекции по численным методам Монте-Карло : учебное пособие / А. В. Войтишек, 2018. - 314 с. - Текст : электронный.Геология и магматизм конвергентных окраин тихоокеанского типа : на основе курса лекций проф. Шигенори Маруяма (Япония) / Ш. Маруяма [и др.], 2018. - 96 с. - Текст : непосредственный.Зибарев А.В. Физическая органическая химия : учебное пособие / А. В. Зибарев, 2018. - 178 с. - Текст : непосредственный.Вестник Новосибирского государственного университета. Серия: Информационные технологии : научный журнал. Т. 16№ 4, 2018. - 169 с. - Текст : непосредственный.Володин В.А. Физические основы микроэлектроники: лекции и задачи : учебное пособие / В. А. Володин, А. А. Блошкин, 2019. - 212 с. - Текст : непосредственный.Профессора НГУ. Механико-математический факультет. Персональный состав, 1961-2016 гг. / Сост. Н. Н. Аблажей, 2019. - 593 с. - Текст : непосредственный.Вестник Новосибирского государственного университета. Серия: Информационные технологии : научный журнал. Т. 17№ 1, 2019. - 104 с. - Текст : непосредственный.Физика твердого тела. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 38 с. - Текст : непосредственный.Математика. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 185 с. - Текст : непосредственный.Менеджмент. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 90, [3] с. - Текст : непосредственный.Физические методы в естественных науках. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 79 с. - Текст : непосредственный.Инструментальные методы и техника экспериментальной физики. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 22, [2] с. - Текст : непосредственный.Дудников В.Г. Источники отрицательных ионов : [монография] / В. Г. Дудников, 2019. - 309 с. - Текст : непосредственный.Федотов А.М. Информационные системы: модели и технологии : учебное пособие / А. М. Федотов, О. А. Федотова, М. А. Самбетбаева; ответственный редактор В. Б. Барахнин, 2019. - 263 с. - Текст : непосредственный.Информатика образования : 12-я Международная Ершовская конференция по информатике ПСИ'19: труды семинара, 2-3 июля 2019 г. / Институт систем информатики им. А. П. Ершова СО РАН, Министерство науки и высшего образования РФ, Новосибирский государственный университет, 2019. - 99 с. - Текст : непосредственный.
Показать все результатыПинкина Н.А. Анализ устойчивости ортогональной прогонки / Н. А. Пинкина, 1989. - 27 с. - Текст : непосредственный.Мелешко В.П. Информатика. Численные методы и их реализация на ЭВМ / В. П. Мелешко, К. В. Прушковский, Ю. Г. Черный, 1997. - 80 с. - Текст : непосредственный.Солдатова Л. Аналогия учебных задач. / Л. Солдатова, И. Шевченко, 1998. - 37 с. - Текст : непосредственный.Aladjev V.Z. Extension of mathematica system functionality / V. Z. Aladjev, V. A. Vaganov, 2015. - 563 p. - Текст : непосредственный.Кирьянов Д.В. Mathcad 13 / Д. В. Кирьянов, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Кудрявцев Е.М. Mathcad 2000 Pro / Е. М. Кудрявцев, 2001. - 571 с. - Текст : непосредственный.Математика для экономистов на базе Mathcad / А. А. Черняк, В. А. Новиков, О. И. Мельников, А. В. Кузнецов, 2003. - 485 с. - Текст : непосредственный.Кетков Ю.Л. MATLAB 6.х : монография / Ю. Л. Кетков, А. Ю. Кетков, М. М. Шульц, 2004. - 662 с. - Текст : непосредственный.Кузнецова Л.Г. Системы компьютерной математики / Л. Г. Кузнецова, 2003. - 108 с. - Текст : непосредственный.Козлова Е.Г. Некоторые вопросы теоретической и практической номографии / Е. Г. Козлова, А. Г. Хованский, Г. С. Хованский, 1996. - 96 с. - Текст : непосредственный.Пентковский М.В. Скелеты номограмм уравнений третьего номографического порядка / М. В. Пентковский, 1953. - 62 с. - Текст : непосредственный.Тараканова Е.Н. Математические расчеты в MathCad : учебное пособие / Е. Н. Тараканова, 2008. - 80 с. - Текст : непосредственный.Ортега Д. Введение в параллельные и векторные методы решения линейных систем / Д. Ортега ; , 1991. - 365 c. - Текст : непосредственный.Быков В.И. Методы исключения в компьютерной алгебре многочленов / В. И. Быков, А. М. Кытманов, М. З. Лизман, 1991. - 233 c. - Текст : непосредственный.Неклюдов С.Ю. Алгоритмизация и программирование вычислительных методов на языке Borland Pascal / С. Ю. Неклюдов, 2005. - 412 с. - Текст : непосредственный.Плис А.И. Mathcad: математический практикум для экономистов и инженеров / А. И. Плис, Н. А. Сливина, 1999. - 655 с. - Текст : непосредственный.Белов А.А. Программы SuFaReC для сверхбыстрого расчета эллиптических уравнений в прямоугольной области / А. А. Белов, 2015. - 12 с. - Текст : непосредственный.Дьяконов В. Mathcad 8/2000 / В. Дьяконов, 2000. - 590 с. - Текст : непосредственный.Frank J.E. On the construction of deflation-based preconditioners / J. E. Frank, C. Vuik, 2000. - 19 p. - Текст : непосредственный.Эдвардс Ч.Г. Дифференциальные уравнения и краевые задачи. Моделирование и вычисление с помощью Mathematica, Maple и MATLAB / Ч. Г. Эдвардс, Д. Э. Пенни ; Ред. Я. К. Шмидский, 2016. - 1094 с. - Текст : непосредственный.
Показать все результатыКирьянов Д.В. Mathcad 13 / Д. В. Кирьянов, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Кудрявцев Е.М. Mathcad 2000 Pro / Е. М. Кудрявцев, 2001. - 571 с. - Текст : непосредственный.Математика для экономистов на базе Mathcad / А. А. Черняк, В. А. Новиков, О. И. Мельников, А. В. Кузнецов, 2003. - 485 с. - Текст : непосредственный.Быков В.И. Методы исключения в компьютерной алгебре многочленов / В. И. Быков, А. М. Кытманов, М. З. Лизман, 1991. - 233 c. - Текст : непосредственный.Параллельная компьютерная алгебра : учеб. пособие: в 3-х ч. / Тамбовский гос. ун-т им. Г.Р. Державина. Ч. 3 / Г. И. Малашонок [и др.], 2012. - 104 с. - Текст : непосредственный.Воскобойников Ю.Е. Вычисления и программирование в пакете MathCAD Prime 2.0 : выставочные материалы / Ю. Е. Воскобойников, А. Ф. Задорожный, 2013. - 196 с. - Текст : электронный.Акулов В.Г. Особенности практического применения ППП MathCAD / В. Г. Акулов, Л. Ю. Акулова, 1997. - 73 с. - Текст : непосредственный.Дьяконов В.П. Mathcad 8 PRO в математике, физике и Internet / В. П. Дьяконов, И. В. Абраменкова, 1999. - 503 с. - Текст : непосредственный.Куликов К.Г. Вычислительная математика. Программная реализация в среде Mathcad : учебное пособие / К. Г. Куликов, 2008. - 136 с. - Текст : непосредственный.Ринчино А.Л. Практическое введение в MathCAD / А. Л. Ринчино, 2004. - 223 с. - Текст : непосредственный.Половко А.М. Mathcad для студента / А. М. Половко, И. В. Ганичев, 2006. - 336 с. - Текст : непосредственный.Методы вычислений в пакете MathCAD : выставочные материалы / И. А. Бедарев, Ю. В. Кратова, Н. Н. Федорова, И. А. Федорченко, 2013. - 168 с. - Текст : электронный.Алгоритмы компьютерной алгебры : учеб. пособие / Г. И. Малашонок [и др.]. Ч. 1, 2008. - 89 с. - Текст : непосредственный.Гурский Д.А. Вычисления в MathCAD 12 / Д. А. Гурский, Е. С. Турбина, 2006. - 544 с. - Текст : непосредственный.Гурский Д. Mathcad для студентов и школьников / Д. Гурский, Е. Турбина, 2005. - 395 с. - Текст : непосредственный.Муравьев В.А. Практическое введение в пакет Mathematica / В. А. Муравьев, Д. Е. Бурланков, 2000. - 123 с. - Текст : непосредственный.Абрамов С.А. Элементы компьютерной алгебры линейных обыкновенных дифференциальных, разностных и g-разностных операторов : учебное пособие / С. А. Абрамов, 2012. - 127 с. - Текст : непосредственный.Царев А.В. Элементы абстрактной и компьютерной алгебры : выставочные материалы / А. В. Царев, Г. В. Шеина, 2016. - 115 с. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Кирьянов Д.В. Mathcad 13 / Д. В. Кирьянов, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Кудрявцев Е.М. Mathcad 2000 Pro / Е. М. Кудрявцев, 2001. - 571 с. - Текст : непосредственный.Математика для экономистов на базе Mathcad / А. А. Черняк, В. А. Новиков, О. И. Мельников, А. В. Кузнецов, 2003. - 485 с. - Текст : непосредственный.Тараканова Е.Н. Математические расчеты в MathCad : учебное пособие / Е. Н. Тараканова, 2008. - 80 с. - Текст : непосредственный.Ортега Д. Введение в параллельные и векторные методы решения линейных систем / Д. Ортега ; , 1991. - 365 c. - Текст : непосредственный.Быков В.И. Методы исключения в компьютерной алгебре многочленов / В. И. Быков, А. М. Кытманов, М. З. Лизман, 1991. - 233 c. - Текст : непосредственный.Плис А.И. Mathcad: математический практикум для экономистов и инженеров / А. И. Плис, Н. А. Сливина, 1999. - 655 с. - Текст : непосредственный.Дьяконов В. Mathcad 8/2000 / В. Дьяконов, 2000. - 590 с. - Текст : непосредственный.Frank J.E. On the construction of deflation-based preconditioners / J. E. Frank, C. Vuik, 2000. - 19 p. - Текст : непосредственный.Stewart D.E. Product algorithms for eigensystems / D. E. Stewart, 1994. - 18 p. - Текст : непосредственный.Ле Ньят Зюи.Методы коррекции несовместных систем линейных уравнений и неравенств с блочной структурой и их применение к задачам обработки информации / Ле Ньят Зюи, 2012. - 18 с. - Текст : непосредственный.Моджтаба Гассми Камалванд.Сопряженно-нормальные матрицы и методы конгруэнтного типа для систем линейных алгебраических уравнений / Моджтаба Гассми Камалванд, 2009. - 14 с. - Текст : непосредственный.Плис А.И. Mathcad 2000. Математический практикум для экономистов и инженеров / А. И. Плис, Н. А. Сливина, 2000. - 655 с. - Текст : непосредственный.Параллельная компьютерная алгебра : учеб. пособие: в 3-х ч. / Тамбовский гос. ун-т им. Г.Р. Державина. Ч. 3 / Г. И. Малашонок [и др.], 2012. - 104 с. - Текст : непосредственный.Войнов В.В. Метод разложения уравнения степени N от X на множители первой степени / В. В. Войнов, 1998. - 32 с. - Текст : непосредственный.Computer algebra in scientific computing / SpringerLink (Online service), 2007 r=on-lineВоскобойников Ю.Е. Вычисления и программирование в пакете MathCAD Prime 2.0 : выставочные материалы / Ю. Е. Воскобойников, А. Ф. Задорожный, 2013. - 196 с. - Текст : электронный.Little L. Block LU preconditioners for symmetric and nonsymmetric saddle point problems / L. Little, Y. Saad, 1999. - 23 p. - Текст : непосредственный.Saad Y. ARMS: An Algebraic Recursive Multilevel Solver for general sparse linear systems / Y. Saad, B. Suchomel, 1999. - 36 p. - Текст : непосредственный.Basermann A. Multisektionsverfahren zur Bestimmung der Eigenwerte von Tridiagonalmatrizen auf CRAY-Multiprozessorrechnern / A. Basermann, 1991. - 122 S. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽