Formule Explicite (Théorie des Nombres)
Définition
Une identité analytique qui relie des sommes sur les puissances de nombres premiers (ou des fonctions de comptage de nombres premiers pondérées) à des sommes explicites sur les zéros non triviaux des fonctions L, précisant comment la distribution des nombres premiers est encodée dans les données spectrales de la fonction zêta ou des fonctions L.