антных локальных признаков // Радиоэлектроника и информатика. - 2006. - № 1(32). - С. 69-73. 8. Гонсалес Р., Вудс Р. Цифровая обработка изображений. - М: Техносфера, 2005. - 1072 с.
Надшшла 27.04.07
Приведет результати досл1джень по застосуванню статистичного тдходу при формувант, оцтщ значень, анал1з1 властивостей та установленню екв1валентност1 характерних ознак зображень в щлях структурного розтзнання об'ект1в. Експериментальш ощнки тдтвер-
dxymmb Moxëueicmb noôydoeu onmuMaëbnux ëouaëbnux pimenb.
Results of researches on application of the statistical approach are resulted at formation, an estimation of values, the analysis of properties and an establishment of equivalence of characteristic attributes of images with a view of structural recognition of objects. Experimental estimations confirm an opportunity of construction of optimum local decisions.
УДК 681.3.06
В. И. Долгов, А. В. Неласая
ГЕОМЕТРИЧЕСКИЙ ПОДХОД К СЛОЖЕНИЮ ДИВИЗОРОВ ГИПЕРЭЛЛИПТИЧЕСКОЙ КРИВОЙ
В статье приводится понятийный аппарат теории дивизоров гиперэллиптических кривых, а также рассматриваются примеры применения геометрического правила сложения для дивизоров различного типа гиперэллиптической кривой второго рода.
ВВЕДЕНИЕ
Современные мировые стандарты цифровой подписи, в том числе и украинский стандарт ДСТУ 41452002, основаны на арифметике эллиптических кривых над конечными полями. Сейчас интерес исследователей направлен еще на одну перспективную алгебраическую структуру - группу дивизоров гиперэллиптических кривых, размер основного поля которых может быть уменьшен в несколько раз в зависимости от рода кривой без потери стойкости. Однако групповая операция в этом случае усложняется.
Целью данной статьи является краткое изложение понятийного аппарата теории дивизоров гиперэллиптических кривых, а также примеров применения геометрического правила сложения различных типов дивизоров кривой второго рода с использованием специализированного математического пакета.
1 ПОНЯТИЙНЫЙ АППАРАТ ТЕОРИИ
ДИВИЗОРОВ ГИПЕРЭЛЛИПТИЧЕСКИХ
КРИВЫХ
В целях популяризации сведений из теории гиперэллиптических кривых, а также для большего понимания дальнейших рассуждений, следуя работе [1], приведем здесь некоторые важные понятия и определения.
Определение 1. Пусть F - конечное поле и пусть F - алгебраическое замыкание F. Гиперэллиптическая кривая C рода g > 1 над F определяется как множество решений (x, y) е F х F уравнения
2
C:y + h (x )y = f( x), (1)
где h(x) е F[x] - полином степени не более g, f(x) е F[x] - нормированный полином степени 2g + 1, и при этом не существует решений (x, y) е F х F, которые бы одновременно удовлетворяли уравнению (1) и уравнениям с частными производными 2y + h (x) = 0 и h'(x)y - f(x) = 0.
Для конечной точки P = (x, y) гиперэллиптической кривой C противоположной является точка -P = = (x, - y - h(x)). Точка на бесконечности Px противоположна сама себе.
Определение 2. Координатным кольцом C над F называется факторкольцо
F[C] = F[u, v]/(v2 + h(u)v - f(u)),
2
где (v + h(u)v - f(u)) - идеал в F[u, v], порожденный 2
полиномом v + h(u)v - f(u); F[u, v] - кольцо многочленов от двух переменных, полученное последовательным присоединением к полю F сначала переменной u, а потом v.
Координатное кольцо C над F определяется аналогично
F[C] = F[u, v]/(v2 + h(u)v - f(u)).
© Долгов В. И., Неласая А. В., 2007 44 ISSN 1607-3274 «Радюелектрошка. 1нформатика. Управлшня» № 2, 2007
Говорят, что рациональная функция R(x, y) находится на кривой C(F) если R(x, y) = 0 и C(x, y) = 0 имеет, по крайней мере, одно решение P = (X, Y), где X, Y е F u (œ), то есть P находится на обоих кривых R(x, y) = 0 и C(x, y) = 0, что обозначается P е R п C.
Элементы F[ C] рассматриваются как полиномиальные функции, определенные на кривой C.
Определение 3. Поле функций F(C) кривой C над F это поле дробей из элементов F[C]. Аналогично, поле функций F( C) кривой C над F - есть поле дробей из элементов F[C]. Элементы F(C) называются рациональными функциями на C.
Определение 4. Пусть R е F(C) - рациональная функция и пусть P е C, P *œ. Тогда R определена в P если существуют полиномиальные функции G, H е F [ C ], такие что R = G/H и H(P)* 0; если таких G, H е е F[C] не существует, то R не определена в P.
Если рациональная функция R определена в точке P, то значением R в P по определению является R(P) = G(P)/H(P). Значение R(P) не зависит от выбора G и H.
Определение 5. Пусть R е F(C)* и пусть P е C. Тогда, если R(P) = 0, то R имеет нуль в точке P. Если R не определена в P тогда R имеет полюс в P, и, следовательно, R ( P ) = œ.
Справедлива теорема:
Теорема 1. Пусть P е C. Тогда существует функция U е F(C), имеющая в точке P нуль кратности 1 с U(P) = 0, для которой выполняется свойство: для каждой полиномиальной функции G е F[ C] * существует целое d и функция S е F(C) такие, что S(P) * 0,œ
и G = UdS. Более того, число d не зависит от выбора U. Функция U называется униформизующим параметром для P.
Определение 6. Пусть G е F[C]* и P е C. Пусть U е F(C) - униформизующий параметр для P, и, следовательно, G = UdS где S е F(C), S(P)* 0,œ. Порядок G в P определяется как ordP( G) = d.
Из этого определения следует, что порядок функции R в точке P является мерой кратности нулей функции этой функции (см. рис. 1, заимствованный из [2], здесь функция обозначенна f ). Другими словами, порядок функции R в точке P есть кратность пересечения кривой C с R = 0.
Определение 7. Пусть R = G/H е F(C)* - рациональная функция на С и P е C. Порядок R в P равен ordP(R ) = ordP( G) - ordP(H).
Значение ordp(R) является порядком нуля поля
_1
функции R на кривой C, а ordp(R ) тогда является порядком полюса функции R в точке P.
Рисунок 1 - Порядок функции / в точке Р
Определение 8. Дивизором на алгебраической кривой называется конечная формальная сумма точек кривой Pi е С
В = £ тг[рг], тг е г,
Р, е С
где только конечное число т, не равно нулю.
Степень дивизора В, обозначаемая как degD, есть целое число, определяемое суммой £ тр. Порядок
Р е С
дивизора В в точке Р - это целое число тр: оЫр(В) = = тр. Количество точек дивизора называется весом дивизора.
Множество всех дивизоров формирует аддитивную группу с правилом сложения:
£ т[Рг] + £ п,[Рг] = £ (тг + иг)[Рг].
Р, е С Р, е С Р, е С
Символом В° обозначается подгруппа, состоящая из дивизоров степени 0.
Ненулевая рациональная функция К, заданная на алгебраической кривой, может иметь лишь конечное число нулей и полюсов. Ее можно задать с точностью до константы списком нулей и полюсов с учетом их кратностей.
Для рациональной функции К на С понятие дивизора определяется следующим образом:
div(К) = £ оЫР(К)[Р].
Р е С
Дивизор функции называется главным дивизором. Известно, что div(R) удовлетворяет условию
£ оЫР(К) = 0.
Р е С
Тогда произведению функций на кривой будет соответствовать сумма их дивизоров.
Определение 9. Дивизор В е В называется главным дивизором, если В = div(К) для некоторых рациональных функций К е Р(С)*. Множество всех главных дивизоров обозначим Р.
Дивизор div(R) может быть разложен в разность двух дивизоров:
div(К) = diVo(К) - К),
где diVo (К) соответствует пересечению С с кривой К = 0, а divш(К) - пересечению С с функцией 1 /К = 0.
На рис. 2 (здесь обозначение функции /), заимствованным из работы [2], показан пример главного дивизора. Для рассматриваемого примера div( К) = Р1 + Р2 +
+ Р3 + Р4 - (2©1 + 202).
Функции на гиперэллиптической кривой образуют группу по умножению, поэтому их гомоморфные образы - дивизоры функций образуют группу главных дивизоров и имеют степень 0.
Определение 10. Факторгруппа ] = В0/Р (группа дивизоров степени 0 по подгруппе главных дивизоров) называется Якобианом кривой С.
Если В1, В2 е В° и В1 - В2 е Р то В1 и В2 называются эквивалентными дивизорами (обозначение В1 ~ В2). В соответствии с приведенным выше определением, каждый элемент Якобиана - это класс эквивалентности дивизоров.
Определение 11. Дивизор, представленный в виде
В = ^Р е тР,]Р е тРг])к
называется приведенным, если:
Рисунок 2 - Пример главного дивизора
1. Все т, неотрицательны, и если Р = -Р, тогда т1 < 1.
2. Если Pi ^ —Р,, тогда Р, и -Р, встречаются в сумме одновременно.
3. £т, < д.
Каждый смежный класс якобиана обладает ровно одним представителем в виде приведенного дивизора.
Объектами, соответствующими дивизорам, являются идеалы координатного кольца Р[С] (см. определение 2) а объектами, соответствующими классам дивизоров, являются классы идеалов Р[С]. По теореме Ри-мана - Роха главные дивизоры отображаются в главные идеалы. Следовательно, можно рассматривать соответствие между классами дивизоров и классами идеалов. Это позволяет для удобства вычислений использовать интерпретацию дивизоров через классы идеалов полиномиальных порядков. Такое представление в виде пары полиномов было предложено Мамфордом [5].
Лемма 1. Пусть Р = (х, у) - обычная точка гиперэллиптической кривой С. Тогда для каждого к > 1 существует уникальный полином Ък(и) е Р[и] такой, что:
1. ^иЪк <к;
2. Ък(х) = у;
3. Ъ2к(и) + Ък(и)Н(и) = /(и)(mod(и - х)к).
Теорема 2. Пусть В = £т,[Р,] - (£т,)[<»] - приведенный дивизор, где Pi = (х,, у,). Пусть а(и) = = П(и - х,) '. Существует уникальный полином Ъ(и), удовлетворяющий:
1. < ^иа;
2. Ъ(х,) = у,^ для всех ,, для которых т, ^ 0;
2
3. а(и) делит Ъ(и) + Ъ(и)Н(и) - /(и).
При выполнении условий теоремы 2
В = gcd(div(а(и)), div(Ъ(и) - V)).
Обычно запись gcd(div(а(и)), div(Ъ(и) - V)) сокращается до div(а(и), Ъ(и) - V), или, более просто до div (а, Ъ).
С использованием приведенных понятий и определений рассмотрим особенности выполнения арифметических операций с дивизорами гиперэллиптических кривых.
2 ПРИМЕРЫ ВЫПОЛНЕНИЯ АРИФМЕТИЧЕСКИХ ОПЕРАЦИЙ С ДИВИЗОРАМИ ГИПЕРЭЛЛИПТИЧЕСКИХ КРИВЫХ
Арифметика на гиперэллиптической кривой (операции сложения и дублирования элементов якобиана) реализуется с помощью функций на кривой. Как следует из вышеприведенных рассуждений, якобиан ги-
перэллиптической кривой второго рода включает дивизоры, образованные либо одной, либо двумя точками. Правило сложения хорд и касательных, применимое для эллиптической кривой, в этом случае уже не работает. Исходя из определения якобиана (определение 10), для того, чтобы построить группу, мы должны образовать факторгруппу сумм точек на кривой по подмножеству сумм тех точек, которые лежат на функции, определенной на кривой. В качестве функции на кривой возьмем полином, как обобщение понятия хорды, проходящей более чем через две точки. В общем случае, для нахождения п коэффициентов полино-
п -1 , п - 2 , , , ,
ма у = а^ + а2х + ... + ап-1х + ап степени п - 1
достаточно п точек. Сумма всех точек пересечения полученного полинома и заданной эллиптической кривой по определению является дивизором функции и дает нуль рассматриваемой факторгруппы. Пусть П1 = = Р1 + Р2 и П2 = 01 + 02. Необходимо вычислить Б3 = П1 + П2. Показанная на рис. 3 [2], сумма точек пересечения полученного кубического полинома и гиперэллиптической кривой Р1 + Р2 + 01 + 02 + (-К1) + + (-К2) образует нуль группы. На рис. 3, заимствованном из работы [2], показана процедура вычисления суммы точек пересечения кубического полинома и гиперэллиптической кривой Р1 + Р2 + 01 + 02 + (-К^ + + (-К2). Эта сумма образует нуль группы. Отсюда очевидно, что противоположной к (-К^ + (-К2) суммой К1 + К2 будет Р1 + Р2 + 01 + 02.
Рисунок 3 - Геометрическая визуализация сложения на кривой второго рода
В зависимости от вида входных дивизоров возможны различные варианты использования описанного правила сложения. В качестве примера рассмотрим гиперэллиптическую кривую
у2 = х5 + 5 х( mod73). (2)
Она содержит 49 конечных точек: [27, 4], [53, 1], [53, 72], [36, 23], [36, 50], [56, 28], [56, 45], [37, 36], [37, 37], [32, 54], [32, 19], [21, 41], [9, 57], [12, 20], [12, 53], [9, 16], [41, 2], [41, 71], [61, 29], [64, 67], [64, 6], [29, 22], [29, 51], [72, 33], [44, 10], [44, 63], [27, 69], [46, 35], [46, 38], [72, 40], [50, 68], [24, 14], [61, 44], [24, 59],[21, 32], [49, 60], [49, 13], [50, 5], [0, 0], [1, 15], [1, 58], [17, 26], [17, 47], [52, 12], [52, 61], [20, 27], [20, 46], [23, 11], [23, 62] и бесконечно удаленную точку.
Поскольку данная кривая является кривой Фурука-вы, ее порядок можно легко определить по приведенному в [6] алгоритму с помощью программы, разработанной авторами [7]. Полученный порядок, то есть количество приведенных дивизоров якобиана кривой, равен 3842. Все дальнейшие вычисления выполняются в поле О.Р(73).
Случай 1. Сложение двух дивизоров веса 2. Все точки различны.
Р1 = (27, 4),
Р2 = (53, 1),
Р3 = (56, 45),
Р4 = (12, 20).
Представим дивизор Б1 = Р1 + Р2 - 2 ю в форме Мамфорда в виде пары полиномов <и, »>.
и = (х - 27)(х - 53) = х2 + 66х + 44.
Полином V = сх + й находим из условий
27*с+ й = 4 53*с+й = Г
откуда имеем V = 42х + 38. Следовательно,
2
Б1 = Р1 + Р2 - 2ю = <х + 66х + 44, 42х + 38>.
Аналогично
Б2 = Р3 + Р4 - 2ю = <х2 + 5х + 15, 52х + 53>.
Для того, чтобы получить дивизор, равный сумме дивизоров Б1 и Б2 построим кубический полином, проходящий через четыре точки Р1, Р2, Р3, Р4 (четыре точки однозначно определяют кубический полином, который имеет четыре коэффициента: коэффициенты
> # Все точки различны restart; p:=73: x1:=27: y1:=4: x2:=53: y2:=1: x3:=56: y3:=45 x4:=12 y4:=20
S:=msolve ({y1=a1*x1A3+a2*x1A2+a3*x1+a4, y2=a1*x2A3+a2*x2A2+a3*x2+a4, y3=a1*x3A3+a2*x3A2+a3*x3+a4, y4=a1*x4A3+a2*x4A2+a3*x4+a4},p): a:=subs (S,[a1,a2,a3,a4]):
msolve ({yA2=xA5+5*x,y=a [1]*xA3+a [2]*xA2+a [3]*x+a [4]},p);
{x = 9, y = 57}, {x = 12, y = 20}, {x = 27, y = 4}, {x = 53, y = 1}, {x = 56, y = 45}, {x = 72, y = 33}
при первой, второй и третьей степенях x и свободный член). Для их нахождения необходимо составить четыре уравнения. Это можно сделать, подставив в уравнение кубики поочередно координаты каждой из четырех входных точек. Выполним вычисления с помощью пакета компьютерной алгебры Maple.
Решая совместно систему уравнений, содержащую уравнение кривой и уравнение полученного кубического полинома определим две других точки пересечения
(9, 57) и (72, 33). Противоположные к ним точки
2
(9, 16) и (72, 40) и образуют дивизор < x + 65x + 64, 56x + 23>, равный сумме D1 и D2.
Случай 2. Сложение двух дивизоров веса 2. P1 входит в сумму дважды.
P1 = (27, 4),
P2 = (53, 1),
P3 = (32, 19),
D1 = P1 + P2 - 2ю = <x2 + 66x + 44, 42x + 38>,
D2 = P1 + P3 - 2 ю = <x2 + 14x + 61, 3x + 69>.
Если среди четырех исходных точек одна встречается дважды, то подстановкой координат исходных точек в уравнение искомого кубического полинома можно получить только три уравнения. Следовательно, необходимо получить еще одно дополнительное условие, связывающее коэффициенты искомого полинома, для получения четвертого уравнения. Это можно сделать, если учесть тот факт, что в двойной точке полином пересекает заданную гиперэллиптическую кривую дважды, то есть касается ее.
Для кривой, заданной уравнением f(x, y) = 0 касательная в точке P(xp y 1) имеет вид [3]:
(x - xt) +
(y - y1) =
Воспользуемся тем фактом, что в двойной точке касательная к заданной гиперэллиптической кривой совпадет с касательной к искомому полиному. Обозначим
f(x, y) :x5 + 5x -y2 = 0 уравнение заданной гиперэл-
3 2
липтической кривой и <$(x, y) :a^x + a2x + a3x + a^ -- y = 0 уравнение искомого полинома. Тогда
g= (5x4 + 5)|(27, 4) = 10,
(27, 4)
f =
dy
(-2y)l(27, 4)
= 65
и уравнение касательной к заданной гиперэллиптической кривой в точке (27, 4) имеет вид
10(х - 27) + 65(у - 4) = 0. (3)
Аналогично, для искомого кубического полинома
^ = (3ax2 + 2a-,x + ^^ = 3a, 272 + 2^27 + a4, дx y 1 2 31(27,4) 1 2 3
^ = (-1 )| = -1
dy K ' К27,4) 1
и уравнение касательной к ф(x, y) в точке (27, 4) имеет вид
(3a1272 + 2a227 + a3)(x - 27) - 1(y - 4) = 0. (4)
> # Точка [x1,y1] входит в сумму дважды
p:=73:
x1:=27:
y1:=4:
x2:=53:
y2:=1:
x3:=32:
y3:=19:
f_x:=5*xA4+5:
f_x:=modp1(ConvertIn (f_x,x),p); f_y:=-2*y:
f_y:=modp1(ConvertIn (f_y,y),p); f_x_P:=modp1(Eval (f_x,x1),p); f_y_P:=modp1(Eval (f_y,y1),p); S:=msolve ({y1=a1*x1A3+a2*x1A2+a3*x1+a4, y2=a1*x2A3+a2*x2A2+a3*x2+a4, y3=a1*x3A3+a2*x3A2+a3*x3+a4, (3*a1*x1A2+2*a2*x1+a3)*(-f_y_P)=f_x_P},p); a:=subs (S,[a1,a2,a3,a4]);
msolve ({yA2=xA5+5*x,y=a [1]*xA3+a [2]*xA2+a [3]*x+a [4]},p);
{x = 27, y = 4}, {x = 32, y = 19}, {x = 44, y = 10}, {x = 49, y = 60}, {y = 1, x = 53}
Умножим обе части равенства (4) на число (-65), чтобы уравнять коэффициенты при (у - 4) в равенствах (3) и (4). Поскольку два полученных уравнения представляют собой одну и ту же прямую, приравнивая коэффициенты при (x - 27), мы можем записать:
(3ax272 + 2a227 + a3)(-65) = 10.
Это и будет четвертое, недостающее условие, связывающее коэффициенты искомого полинома. Выше приведена реализация в Maple.
Решая совместно систему уравнений, содержащую уравнение кривой и уравнение полученного кубического полинома определим две других точки пересечения
(44, 10) и (49, 60). Противоположные к ним точки
2
[44, 63] и [49, 13] образуют дивизор < x + 53x + 39, 63x + 65>, равный сумме D1 и D2.
Аналогичный результат можно получить, если входные дивизоры сформированы несколько иным способом:
2
D1 = 2P1 - 2 ю = <x2 + 19x + 72, 56x + 25>,
D2 = P2 + P3 - 2ю = <x2 + 61 x + 17, 20x + 36>.
В этом случае для представления дивизора D1 в форме Мамфорда воспользуемся уравнением касательной к кривой в точке P1.
u = (x - 27)2 = (x + 46)2 = x2 + 19x + 72.
В этом случае полином V = сх + й степени > 1 определяется как уравнение касательной к кривой в заданной точке. Пусть кривая С задана уравнением
q(x, у) = 0. Тогда касательная к C в точке P(x^ у\) имеет вид [3]:
(x - x.) + (g)
(у - У1) = 0.
Для нашего примера имеем:
ф(x, у) = x5 + 5x - у2,
тогда
8i = (5x4 + 5 )|( 27, 4) = 10, ^ = (-2У) 1(27, 4) = 65.
1(27, 4)
ду
1(27, 4)
Уравнение касательной к кривой в точке (27,4) имеет вид:
9(х - 27) + 65(у - 4) = 0; у = 56х + 25.
2
Следовательно, Б1 = 2Р1 - 2 <я = < х + 19 х + 72, 56х+25>.
2
При этом Б2 = Р2 + Р3 - 2 ю = < х + 61х + 17, 20х + 36>.
Их сумма также равна <х2 + 53 х + 39, 63х + 65>, следовательно, сумма двух дивизоров не зависит от порядка вхождения в них точек кривой.
Рассуждая аналогично, можно получить сумму двух двойных точек или выполнить дублирование, используя условия, определяемые касательными дважды.
P
> # В сумму входят три различных точки
p:=73:
x1:=27:
y1:=4:
x2:=53:
y2:=1:
x3:=32:
y3:=19:
S:=msolve ({y1=a1*x1A2+a2*x1+a3, y2=a1*x2A2+a2*x2+a3, y3=a1*x3A2+a2*x3+a3},p); a:=subs (S,[a1,a2,a3]);
msolve ({yA2=xA5+5*x,y=a [1]*xA2+a [2]*x+a [3]},p);
{y = 15, x = 1}, {x = 27, y = 4}, {x = 29, y = 51}, {y = 19, x = 32}, {x = 53, y = 1}
Случай 3. Сумма состоит из трех различных точек, каждая из которых встречается в сумме ровно один раз.
P1 = (27, 4),
P2 = (53, 1),
P3 = (32, 19),
D1 = P1 - ю = < x - 27,4>,
D2 = P2 + P3 - 2 ю = <x2 + 61x + 17, 20x + 36>.
В этом случае мы строим полином второго порядка
y = a1x2 + a2x + a3, требующий наличия трех условий для нахождения трех коэффициентов. Выше приведена реализация в Maple.
Решая совместно систему уравнений, содержащую уравнение кривой и уравнение полученного полинома определим две других точки пересечения (1, 15) и (29, 51).
Противоположные к ним точки (1, 58) и (29, 22) и об-2
разуют дивизор <x + 43x + 29, 30x + 28>, равный сумме D1 и D2.
Используя приведенные рассуждения, можно получить решения и для других возможных частных случаев в зависимости от вида входных дивизоров. Если же входные дивизоры содержат противоположные точки, которые аннулируют друг друга, необходимо сначала исключить их из рассмотрения, а затем продолжить сложение оставшихся точек по описанным выше правилам.
ЗАКЛЮЧЕНИЕ
Существует универсальный алгоритм Кантора [4], который можно использовать для сложения дивизоров на гиперэллиптических кривых любого рода. Однако рассмотрение частных случаев, зависящих от вида входных дивизоров, позволяет разработать явные формулы, являющиеся гораздо более быстрыми при про-
граммной и аппаратной реализациях. Приведенная в статье иллюстрация геометрического закона сложения дивизоров дает достаточно полное представление о возможных частных случаях, требующих детальной разработки в явном виде.
ПЕРЕЧЕНЬ ССЫЛОК
1. A. Menezes, Y. Wu, R. Zuccherato. An Elementary Introduction to Hyperelliptic Curves. - Springer-Verlag, Berlin, Germany, 1998. - 31 p.
2. T. Wollinger. Software and Hardware Implementation of Hyperelliptic Curve Cryptosystem. Dissertation for the Degree of Doctor-Ingenieur. - Bochum, Germany, 2004. -201 p.
3. Г. Корн, Т. Корн. Справочник по математике. Для научных работников и инженеров. - М., 1974. - 832 с.
4. D. G. Cantor. Computing in Jacobian of a Hyperelliptic Curve // Mathematics of Computation. - Volume 48 (177), January. - 1987. - P. 95-101.
5. D. Mumford. Tata Lectures on Theta II // Prog. Math. -Volume 43. - Birkhäuser, 1984. - P. 61-75.
6. E. Furukava, M. Kawazoe, T. Takahashi. Counting Points
2 _ 5 ,
for Hyperelliptic Curves of type y - x + ax over Finite Prime Fields, [Электронный ресурс], (14 p), 2004 -Режим доступа, http://eprint.iacr.org/181.pdf, свободный.
7. Неласая А. В., Долгов В. И., Зайцев С. А. Определение порядка группы дивизоров гиперэллиптической кривой // Международная научно-техническая конференция «Компьютерное моделирование и интеллектуальные системы» (КМИС-2007), Запорожье, ЗНТУ, 2627 марта 2007. - С. 173-177.
Надшшла 11.10.07
У cmammi приводиться понятшний anapam meopi'i ди-eieopie zinepeÄinmmHux кривих, a ma-кож poзглядaюmьcя приклади зacmocyвaння гeoмempuчнoгo npaвuлa для doda-вaння дuвiзopiв piзнoгo muny глnepeлinmuчнo'i кpuвo'i дpy-гмгм poдy.
The conceptual means of divisors hyperelliptic curves theory are considered. The examples of geometrical rule for adding of various kind divisors are given.