| Presentation | 2011-11-14 Formalization and Verification of Arithmetic Algorithms by Mizar Yoshiki AOKI, Hiroyuki OKAZAKI, Yasunari SHIDAMA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this report, we formalize some number theoretical algorithms, Euclidean Algorithm and Extended Euclidean Algorithm by using the Mizar proof checker. Our aim is to support implementation of number theoretic tools. Our formalization of those algorithms are based on the source code of the NZMATH, a number theory oriented calculation system. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | formal verification / Mizar / Extended Euclidean Algorithm |
| Paper # | ISEC2011-44,LOIS2011-38 |
| Date of Issue |
| Conference Information | |
| Committee | ISEC |
|---|---|
| Conference Date | 2011/11/7(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Information Security (ISEC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Formalization and Verification of Arithmetic Algorithms by Mizar |
| Sub Title (in English) | |
| Keyword(1) | formal verification |
| Keyword(2) | Mizar |
| Keyword(3) | Extended Euclidean Algorithm |
| 1st Author's Name | Yoshiki AOKI |
| 1st Author's Affiliation | Shinshu University() |
| 2nd Author's Name | Hiroyuki OKAZAKI |
| 2nd Author's Affiliation | Shinshu University |
| 3rd Author's Name | Yasunari SHIDAMA |
| 3rd Author's Affiliation | Shinshu University |
| Date | 2011-11-14 |
| Paper # | ISEC2011-44,LOIS2011-38 |
| Volume (vol) | vol.111 |
| Number (no) | 285 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |