New Proofs of Gaussian Extremal Inequalities With Applications.

Yinfei Xu Guojun Chen Jun Chen Shi Jin

Published in: IEEE Trans. Inf. Theory (2024)

Keyphrases

sufficient conditions
graph theory
theorem proving
equational theories
theorem prover

linear inequalities
mathematical proofs
gaussian noise
gaussian function
generalized gaussian

maximally stable
multivariate gaussian distribution
elementary functions
formal proof
natural deduction

data sets
decision procedures
maximum likelihood
lower bound