Extended Euclidean Algorithm and CRT Algorithm

DOI10.2478/v10037-012-0020-2zbMath1288.11117MaRDI QIDQ2852154

Hiroyuki Okazaki, Yasunari Shidama, Yosiki Aoki

Publication date: 8 October 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-012-0020-2

Mathematics Subject Classification ID

11A05: Multiplicative structure; Euclidean algorithm; greatest common divisors

11Y99: Computational number theory

Uses Software

• NZMATH