Бухбергер Б., Калме Ж., Калтофен Э. — Компьютерная алгебра - символьные и алгебраические вычисления :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Бухбергер Б., Калме Ж., Калтофен Э. — Компьютерная алгебра - символьные и алгебраические вычисления

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Компьютерная алгебра - символьные и алгебраические вычисления

Авторы: Бухбергер Б., Калме Ж., Калтофен Э.

Язык:

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1985

Количество страниц: 391

Добавлена в каталог: 11.11.2012

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Процедура элиминации кванторов Тарского      109
Псевдоделение полиномов      265
Псевдоканоническая форма выражений      292
Псевдоостаток от деления полиномов      154
р-адические методы      197
р-адические числа      273
р-адические числа, арифметика      273
р-адические числа, каноническое упрощение      273
р-адические числа, поле      273
Равенств теория      32
Равенство      25
Равный доказуемо      31
Равный семантически      31
Радикалы      35
Разбухание промежуточных выражений      280
Разложение на множители полиномов от многих переменных      141
Разложение на множители полиномов от одной переменной над алгебраическими расширениями      140
Разложение на множители полиномов от одной переменной над конечными полями      130
Разложение Тейлора      197
Разрешающий алгоритм теории      109
Распознавание эквивалентности      25
Расходимости диаграмм Фейнмана      313
Расширение разностного поля      106
Расширение разностного поля аффинное      106
Расширение разностного поля линейное      106
Расширение разностного поля однородное      106
Расширенный алгоритм Евклида для алгебраических чисел      219
Расширенный алгоритм Евклида для целых чисел      249
Регулярный моном      212
Редукция полинома      262
Результант      221
Рефлексивность равенства      31
Решение уравнений конечно-разностных      108
Решение уравнений обыкновенных дифференциальных      97
Ряды Молина      78
Ряды Пуассона      315
Ряды теории возмущений      312
Ряды Фурье      293
Сборка мусора      281
Свойство завершения редукции      44
Свойство универсальности свободных алгебр      30
Свойство Чёрча — Россера      45
Сепарабельное расширение поля      231
Сигнатура      29
Сильно отделяющий интервал      117
Сильно порождающее множество группы подстановок      49
Символы Кристоффеля      315
Символы функциональные      29
Символьно-численный интерфейс      283
Симметричность равенства      31
Система ABC-ALGOL      282
Система AFFIRM      56
Система ALADIN      282
Система ALAM      294
Система ALKAHEST      295
Система ALPAK      285
Система ALTRAN      286
Система AMP      282
Система ASHMEDAI      295
Система CAMAC      75
Система CAMAL      293
Система CAS      75
Система CAYLEY      75
Система CHARIBD1S      289
Система CLAM      294
Система FAMOUS      281
Система FORMAC      291
Система IAM      294
Система LAM      294
Система MACSYMA      297
Система MAPLE      299
Система MATHLAB      288
Система MIRA      279
Система muMATH      299
Система NETFORM      284
Система PM      285
Система POLMAN      282
Система RATSIMP      289
Система REDUCE      296
Система REFCO      285
Система SAC-1      287
Система SAC-2      288
Система SCHOONSHCIP      295
Система SCRATCHPAD      298
Система SHEEP      294
Система SIN      293
Система SMP      296
Система SOGOS      75
Система SYCOPHANTE      292
Система SYMBAL      289
Система TAYLOR      295
Система TRIGMAN      293
Система VAXTRAN      284
Система АНАЛИТИК      281
Системы классической алгебры      299

Системы компьютерной алгебры на микрокомпьютерах      299
Системы компьютерной алгебры общего назначения      288
Системы компьютерной алгебры специального назначения      293
Системы современной алгебры      299
Скаляр Риччи      315
Скелетная структура подпрограмм      284
Сложение в конечных полях      271
Сложение полиномов      263
Собственные значения      42
Собственные элементы      42
Содержание полинома      170
Сопоследовательности      166
Списковое представление целых чисел      238
Список подвыражений      290
Степенной ряд      270
Степень полинома      262
Степень радикальная      37
Структурная теорема для элементарных трансцендентных функций      213
Субрезультант дефектный      160
Субрезультант полиномов      155
Субрезультант регулярный      160
Суммирование в расширениях      106
Суммирование по частям      107
Суммирование полиномов      102
Суммирование рациональных функций      102
Суммирование рядов      108
Таблицы характеров      76
Тейлоровский сдвиг полинома      269
Тензор Римана      315
Тензор Риччи      315
Тензор Эйнштейна      316
Теорема Габихта      159
Теорема о последовательности полиномиальных остатков основная      162
Теорема о расширениях поля      231
Теорема о субрезультантах      160
Теорема об алгоритме Евклида      248
Теория кодирования алгебраическая      321
Теория Луны      314
Теория чисел      318
Теория элементарных замкнутых вещественных полей      109
Термы арифметические      36
Термы первого порядка      23
Термы постоянные      30
Термы унифицируемые      50
Термы функционально эквивалентные      31
Транзитивность равенства      31
Удачный идеал      180
Умножение в конечных полях      272
Умножение полиномов      264
Упорядоченная область      252
Упрощение      23
Упрощение каноническое      24
Упрощение каноническое термов      24
Упрощение логических формул      28
Упрощение неканоническое      27
Упрощение нормальное      27
Упрощение регулярное      27
Уравнение вакуума Эйнштейна      316
Уравнение поля      295
Условие слияния      46
Факторизованная форма рациональных выражений      286
Физика      311
Физика высоких энергий      312
Физика плазмы      318
Функторы      282
Функции рациональные      269
Функции элементарные      83
Функция выбора      45
Функция достаточная      24
Функция мероморфная      25
Функция описываемая термами      31
Функция представляющая      179
Функция «местности»      29
Характеры группы      75
Химия      311
Цилиндрическое алгебраическое разбиение      110
Частное от деления полиномов      152
Эквивалентность      24
Эквивалентность функциональная      24
Электронная оптика      316
Электротехника      317
Язык программирования ALDES      288
Язык программирования AMBIT      282
Язык программирования BCPL      294
Язык программирования EULER      290
Язык программирования Formula ALGOL      281
Язык программирования MODLISP      299
Язык программирования SCALLOP      290
Язык программирования Алгол      281
Язык программирования Лисп      282
Язык программирования непроцедурный      298
Язык программирования Паскаль      309
Язык программирования ПЛ-1      282
Язык программирования Пролог      292
Язык программирования Фортран      283

1 2

О проекте