Аннотация:
В работе доказывается ряд утверждений, позволяющих существенно уменьшить сложность доказательств классификационных теорем для квазиканонических систем счисления в мнимых квадратичных полях. Доказываются теоремы сходимости алгоритмов, реализующих сложение целых алгебраических чисел в квазиканонических системах счисления.
Ключевые слова:каноническая система счисления, квазиканоническая система счисления, деление с остатком по норме, эквивалентные системы счисления.
Поступила в редакцию: 24.02.2015 Исправленный вариант: 08.04.2015
Полный текст:
PDF файл (183 kB)