Preuves algorithmiques en temps polynomial en théorie analytique des nombres