Algorithmic theory of rational numbers

Z Lem

Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 18:30, 8 sie 2017

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)

Skocz do: nawigacji, wyszukiwania

Axioms of ordered field and algorithmic formula saying for all n and m the Euclid's algorithm terminates.

Źródło „http://lem12.uksw.edu.pl/index.php?title=Algorithmic_theory_of_rational_numbers&oldid=2396”