2005

Revue Internationale avec comité de lecture

• [DM05] D. Delahaye, M. Mayero. "Dealing with Algebraic Expressions over a Field in Coq using Maple", JSC, vol. 39(5), pp. 569-592, 2005

Conférence Internationale avec comité de lecture

• [DM05a] D. Delahaye, M. Mayero. "Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System", Calculemus, University of Newcastle upon Tyn (United Kingdom), January 2005, Vol. 151(1), pp.57-73, Series ENTCS,