W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3640| Tytuł: | Extended Euclidean Algorithm and CRT Algorithm |
| Autorzy: | Okazaki, Hiroyuki Aoki, Yosiki Shidama, Yasunari |
| Data wydania: | 2012 |
| Data dodania: | 6-gru-2015 |
| Wydawca: | De Gruyter Open |
| Źródło: | Formalized Mathematics, Volume 20, Issue 2, 2012, Pages 175-179 |
| Abstrakt: | In this article we formalize some number theoretical algorithms, Euclidean Algorithm and Extended Euclidean Algorithm [9]. Besides the a gcd b, Extended Euclidean Algorithm can calculate a pair of two integers (x, y) that holds ax + by = a gcd b. In addition, we formalize an algorithm that can compute a solution of the Chinese remainder theorem by using Extended Euclidean Algorithm. Our aim is to support the implementation of number theoretic tools. Our formalization of those algorithms is based on the source code of the NZMATH, a number theory oriented calculation system developed by Tokyo Metropolitan University [8]. |
| Afiliacja: | Okazaki Hiroyuki - Shinshu University, Nagano, Japan Aoki Yosiki - Shinshu University, Nagano, Japan Shidama Yasunari - Shinshu University, Nagano, Japan |
| Sponsorzy: | This work was supported by JSPS KAKENHI 21240001 and 22300285 |
| URI: | http://hdl.handle.net/11320/3640 |
| DOI: | 10.2478/v10037-012-0020-2 |
| ISSN: | 1426-2630 1898-9934 |
| Typ Dokumentu: | Article |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2012, Volume 20, Issue 2 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| v10037-012-0020-2.pdf | 268,15 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
