Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm

In this article we formalize in Mizar [1], [2] the maximum number of steps taken by some number theoretical algorithms, “right–to–left binary algorithm” for modular exponentiation and “Euclidean algorithm” [5]. For any natural numbers , , , “right–to–left binary algorithm” can calculate the natural...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formalized mathematics Jg. 27; H. 1; S. 87 - 91
Hauptverfasser:	Okazaki, Hiroyuki, Nagao, Koh-ichi, Futa, Yuichi
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Bialystok Sciendo 01.04.2019 De Gruyter Brill Sp. z o.o., Paradigm Publishing Services
Schlagworte:	03B35 11A05 11A15 68W40 Algorithms Euclidean algorithm power residues
ISSN:	1426-2630, 1898-9934
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!