Extended Euclidean Algorithm and CRT Algorithm
From MaRDI portal
Publication:2852154
DOI10.2478/v10037-012-0020-2zbMath1288.11117OpenAlexW2083393265MaRDI QIDQ2852154
Yosiki Aoki, Yasunari Shidama, Hiroyuki Okazaki
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
Multiplicative structure; Euclidean algorithm; greatest common divisors (11A05) Computational number theory (11Y99)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Extended Euclidean Algorithm and CRT Algorithm