Algorithmic theory of rational numbers: Różnice pomiędzy wersjami
Z Lem
(Utworzono nową stronę "Axioms of ordered field and algorithmic formula saying for all n and m the Euclid's algorithm terminates.") |
(Brak różnic)
|
Wersja z 18:30, 8 sie 2017
Axioms of ordered field and algorithmic formula saying for all n and m the Euclid's algorithm terminates.
