Explicit Formula (Prime Number Theory)
Definition
An analytic identity that relates sums over prime powers (or weighted prime-counting functions) to explicit sums over the nontrivial zeros of L-functions, making precise how prime distribution is encoded in spectral data of zeta or L-functions.