Computing -adic -functions of totally real number fields
arXiv:1110.0246
Abstract
We prove explicit formulas for the -adic -functions of totally real number fields and show how these formulas can be used to compute values and representations of -adic -functions.