Zippel, Richard. 1979. Probabilistic algorithms for sparse polynomials. Ph.D. dissertation, Department of Electrical Engineering and Computer Science, MIT.

Zippel, Richard. 1993. Effective Polynomial Computation. Boston, MA: Kluwer Academic Publishers.

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

Все неточности в этом указателе объясняются тем, что его готовили при помощи вычислительной машины. Дональд Е. Кнут, Основные алгоритмы (Исскусство программирования для ЭВМ, том 1)

Номера страниц для определений процедур даны курсивом. Буква п после номера страницы отсылает к примечанию. Буквы нс после названия элементарной функции либо особой формы означают, что она не входит в стандарт Scheme IEEE.

" (двойная кавычка) 123п Л (обратная кавычка) 493п (одинарная кавычка) 123п

и read 327п, 413п < (элементарный предикат сравнения

чисел) 14 !, в именах процедур 190п * (элементарная процедура

умножения) 5 + (элементарная процедура сложения)

5

, (запятая, внутри обратной кавычки)

493п

- (элементарная процедура

вычитания) 5 как смена знака 15п / (элементарная процедура деления) 5 ; см. точка с запятой = (элементарный предикат сравнения

чисел) 14 =number? 129

=zero? (обобщенная) 166 (упр. 2.80)

для многочленов 179 (упр. 2.87) > (элементарный предикат сравнения чисел) 14

>= (элементарный предикат

сравнения чисел) 16 ? , в именах предикатов 20п -- математическая запись для

функций 59п А-исчисление см. лямбда-исчисление п см. пи

см. сигма-запись 0(/(n)) см. тета от f (n)

abs 14, 15

accelerated-sequence 289 accumulate 52 (упр. 1.32), 99 то же, что fold-right 103

(упр. 2.38)

accumulate-n 102 (упр. 2.36) actual-value 344 Ada (Ада)

рекурсивные процедуры 29 add (обобщенная) 162

примененная к коэффициентам многочленов 177

add-action! 238, 241

add-binding-to-frame! 324 add-complex 149 add-complex-to-schemenum 166

add-interval 80 add-lists 351 add-poly 175 add-rat 71

add-rule-or-assertion! 410 add-streams 282 add-terms 176 add-to-agenda! 242, 245 add-vect 117 (упр. 2.46) addend 126, 127

adder (элементарное ограничение)

250

adjoin-arg 473п adjoin-set 130

для множеств взвешенных

элементов 143 представление в виде бинарных

деревьев 135 представление в виде

неупорядоченных списков 131 представление в виде

упорядоченных списков 133

(упр. 2.61)

adjoin-term 176, 179 advance-pc 450

after-delay 239, 242

Algol (Алгол)

бедность средств работы с

составными объектами 255п блочная структура 26 передача аргументов по имени [call

by name] 279п, 343п санки 279п, 343п all-regs (компилятор) 503п always-true 403

amb 354

ambeval 366 an-element-of 354 an-integer-starting-from 354 analyze

метациклическая 337

недетерминистская 366 analyze-amb 371 analyze-...

метациклические 337, 340

(упр. 4.23)

недетерминистские 367 and (особая форма) 16

без подвыражений 320 (упр. 4.4)

вычисление 16 почему особая форма 16 and (язык запросов) 381

обработка 389, 402, 417 (упр. 4.76)

and-gate 239 angle

декартово представление 150 полярное представление 150 с помеченными данными 153 управляемая данными 158

angle-polar 152

angle-rectangular 152

announce-output 328

APL 101п

append 87, 87, 220 (упр. 3.12) vs. append! 220 (упр. 3.12)

как накопление 101 (упр. 2.33) как регистровая машина 463

(упр. 5.22)

с произвольным числом аргументов

506п

«что такое» (правила) или «как сделать» (процедура) 375

append! 220 (упр. 3.12)

как регистровая машина 463

(упр. 5.22)

append-instruction-sequences

490, 505

append-to-form (правила) 385

application? 318

apply (ленивая) 344

apply (метациклическая) 313

vs. элементарная apply 327п apply (элементарная процедура) 157п apply-dispatch 475

с учетом скомпилированных процедур 519 apply-generic 157

с башней типов 170

с приведением 168, 172 (упр. 2.81)

с приведением нескольких

аргументов 172 (упр. 2.82)

с приведением через

последовательный подъем 173

(упр. 2.84)

с упрощением типа 173 (упр. 2.85) через передачу сообщений 160 apply-primitive-procedure 313,

322, 327