Skip to content
#

gaussian-measures

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Lean 1 TeX 1

Ruqing1963 / kakutani-statistical-pharmacology-II

Star 1

Paper II of "Statistical Pharmacology via Kakutani Dichotomy": the correlated Kakutani index (CKI), the 99.95% covariance dominance theorem (Szego rate in closed form) and spectral fingerprints of cryptic allostery. Paper (LaTeX/PDF), reproducible Python code, data and figures. DOI 10.5281/zenodo.23012217

python latex reproducible-research drug-discovery mathematical-biology allostery probability-theory bhattacharyya-distance phase-transitions toeplitz-matrices computational-pharmacology majorization kakutani-dichotomy conformational-ensembles statistical-pharmacology feldman-hajek gaussian-measures szego-limit-theorem kac-murdock-szego cryptic-allostery
  • Updated Sep 28, 2026
  • TeX
Lean-Formalization-of-Arithmetic-and-Basic-Physical-Interfaces

bookwormseagull1980 / Lean-Formalization-of-Arithmetic-and-Basic-Physical-Interfaces

Star 0

Lean 4/mathlib proofs from minimal change: Gaussian source, natural-number arithmetic with expression histories, unique factorization, gauge and matter structures, generated Yang-Mills action and attained spectral gap. Machine-checked mathematics with explicit theorem-to-paper maps.

theorem-proving proof-assistant natural-numbers representation-theory formal-verification number-theory standard-model probability-theory functional-analysis mathematical-physics mathlib gauge-theory lean4 operator-theory formalized-mathematics yang-mills spectral-theory mass-gap machine-checked-proofs gaussian-measures
  • Updated Oct 28, 2026
  • Lean

Add this topic to your repo

To associate your repository with the gaussian-measures topic, visit your repo's landing page and select "manage topics."

Learn more