#### Filter Results:

- Full text PDF available (1)

#### Publication Year

2012

2013

- This year (0)
- Last 5 years (2)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama
- Formalized Mathematics
- 2012

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… (More)

- ‹
- 1
- ›