Reproducibility code (Python) for 'A Stochastic-Polynomial Bridge: PATP Extension of Moment-Based Uncertainty Evaluation via the Mellin Transform' — reproduces Tables 1–4 and Figure 1; Lean 4 proofs in companion Ku_PATP.

A MBConicHulls plugin that provides a processed result in terms of generalized hypergeometric functions.

Zeta Functions and Riemann Theta Functions