A sharp region where π(x)-li(x) is positive. - Yannick Saouter; Patrick Demichel (Math. Comput., 2010)

An improved lower bound for the de Bruijn-Newman constant. - Yannick Saouter; Xavier Gourdon; Patrick Demichel (Math. Comput., 2011)

The impact of zeta(s) complex zeros on pi(x) for x<101013. - Douglas A. Stoll; Patrick Demichel (Math. Comput., 2011)

A still sharper region where π(x)-li(x) is positive. - Yannick Saouter; Timothy S. Trudgian; Patrick Demichel (Math. Comput., 2015)

Assembly micro-benchmark generator for characterizing Floating Point Units. - Jean Pourroy; Patrick Demichel; Christophe Denis (HPCS, 2019)