Formalization of Wu's Simple Method in Coq.

Jean-David Génevaux Julien Narboux Pascal Schreck Formalization of Wu's Simple Method in Coq. 71-86 2011 CPP https://doi.org/10.1007/978-3-642-25379-9_8 conf/cpp/2011 db/conf/cpp/cpp2011.html#GenevauxNS11