New Proofs of Gaussian Extremal Inequalities With Applications.
Yinfei XuGuojun ChenJun ChenShi JinPublished 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