Registry · Definition IV.D40 tau-effective formalized

IV.D40 — Epstein Zeta Structure

Epstein zeta function Z(s; iι_τ) on rectangular lattice with shape parameter ι_τ. Structure records shape numer/denom, evaluation point s, scope label.

Book IV Part 8 Ch. 70

Dependency Graph

Depends on (1)

I.D01

Depended on by (5)

IV.D41 IV.D82 IV.R10 IV.T35 V.T48

Lean Formalization

Module: TauLib.BookIV.Calibration.EpsteinZeta

Symbol: Tau.BookIV.Calibration.EpsteinZetaStructure