Delahayeand Mayero. Dealing with Algebraic Expressions over a Field in Coq Using Maple. Elsevier BV, 2005, doi:10.1016/j.jsc.2004.12.004.