Euklides

Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak można udowodnić jego poprawność.

Przeczytaj nowy dowód poprawności algorytmu Euklidesa wykonywanego w dziedzinie liczb naturalnych Media:On-Euclids-algorithm.pdf