Talk:Extended Euclidean algorithm/to do


 * Finish the section "Proof" : add the proof of the bound on Bézout's coefficients. D.Lazard (talk) 23:30, 3 November 2013 (UTC)
 * Add inline references to Knuth, The Art of Computer programming D.Lazard (talk) 23:30, 3 November 2013 (UTC)
 * Add section "Polynomial Extended Euclidean algorithm". D.Lazard (talk) 23:30, 3 November 2013 (UTC)
 * ✅ D.Lazard (talk) 11:01, 4 November 2013 (UTC)


 * Rename the section "Formal description of the algorithm" to "Pseudocode" and clean it up. D.Lazard (talk) 23:30, 3 November 2013 (UTC)
 * ✅ D.Lazard (talk) 15:27, 4 November 2013 (UTC)


 * Rename section "Computing a multiplicative inverse in a finite field" as "Computing modular inverse" and include in it inverse modulo an integer and inverse in an algebraic field extension, including inverse in a finite field of non-prime order. D.Lazard (talk) 23:30, 3 November 2013 (UTC)
 * ✅ D.Lazard (talk) 16:08, 6 November 2013 (UTC)