Extended Euclidean algorithm and CRT algorithm
From MaRDI portal
Publication:2852154
DOI10.2478/V10037-012-0020-2zbMATH Open1288.11117OpenAlexW2083393265MaRDI QIDQ2852154FDOQ2852154
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)
Cites Work
Cited In (3)
Uses Software
This page was built for publication: Extended Euclidean algorithm and CRT algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852154)