← Mathematical handbook

theorem Papers.AnsariRockel2024.huslerReiss_spectral_isExtremeValue (δ : ℝ) (hδ : 0 < δ) : (Verification.huslerReissPositive δ hδ).IsExtremeValue

theorem Papers.AnsariRockel2024.huslerReiss_spectral_isCI (δ : ℝ) (hδ : 0 < δ) : (Verification.huslerReissPositive δ hδ).IsCI

theorem Papers.AnsariRockel2024.huslerReiss_pickands_spectral (δ : ℝ) (hδ : 0 < δ) (t : ↑unitInterval) : Verification.copulaPickands (Verification.huslerReissPositive δ hδ) t = ∫ (z : ℝ), max ((1 - ↑t) * Real.exp (2 / δ * z - (2 / δ) ^ 2 / 2)) ↑t ∂ProbabilityTheory.gaussianReal 0 1