A practical analytic method for calculating 휋(x). - Jens Franke; Thorsten Kleinjung; Jan Büthe; Alexander Jost (Math. Comput., 2017)