Guillaume Chèze, Jean-Claude Yakoubsohn, André Galligo, Bernard Mourrain. Computing nearest Gcd with certification. In Hiroshi Kai, Hiroshi Sekigawa, Tateaki Sasaki, Kiyoshi Shirayanagi, Ilias S. Kotsireas, editors, Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009. pages 29-34, ACM, 2009. [doi]