Login / Signup
Yosiki Aoki
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Preprocessing
Simulated Annealing
Improved Algorithm
Single Pass
Top Venues
Formaliz. Math.
</>
Publications
</>
Hiroyuki Okazaki
,
Yosiki Aoki
,
Yasunari Shidama
Extended Euclidean Algorithm and CRT Algorithm.
Formaliz. Math.
20 (2) (2012)