История
14 мая 2014
12 мая 2014
6 мая 2014
→Реализация
м+8
→Асимптотика: небольшая бага
→Асимптотика
+7
→Корректность
-120
→Корректность: небольшие пояснения к корректности
+331
→Корректность
-5
→Алгоритм
+72
→Существование и единственность: исправлен небольшой баг в доказательстве
м
4 мая 2014
→Асимптотика
→Существование и единственность
+19
→Существование и единственность
-3
→Ссылки
-165
→Ссылки
+272
Нет описания правки
+560
→Асимптотика
→Существование и единственность
м+5
→Асимптотика
-316
→Корректность
+415
→Алгоритм Дюваля: переписан алгоритм
-1104
→Существование и единственность
-102
→Алгоритм Дюваля
м-149
→Существование и единственность: рефакторинг доказательства
+116
→Существование и единственность: утверждение в лемме
+93
→Алгоритм
+1
→Алгоритм Дюваля
+2789
3 мая 2014
2 мая 2014
1 мая 2014
→Алгоритм Дюваля
+32
→Алгоритм Дюваля
+2533
→Алгоритм Дюваля
+3693
→Алгоритм Дюваля
+30
→Алгоритм Дюваля
+1013
→Алгоритм Дюваля
+299
→Основные определения
+335
30 апреля 2014
→Основные определения
+37
→Существование и единственность
+56
→Основные определения
+21
→Существование и единственность
+18
→Существование и единственность
+544
Нет описания правки
+154
Нет описания правки
+43
Нет описания правки
+258
Новая страница: «{{Определение |id=def1. |definition='''Простая строка''' {{---}} строка, которая строго лексикографичес...»
+3769
