Unimodality of gaussian coefficients: A constructive proof.
Kathleen M. O'HaraPublished in: J. Comb. Theory, Ser. A (1990)
Keyphrases
- generalized gaussian
- series expansion
- marginal distributions
- linear combination
- wavelet coefficients
- taylor series expansion
- theorem proving
- gaussian mixture
- logical rules
- theorem prover
- natural deduction
- normal distribution
- basis functions
- wavelet transform
- multivariate gaussian distribution
- gaussian function
- interactive theorem proving
- proof theory
- spherical harmonics
- digital filters
- linear logic
- gaussian model
- image processing
- density function
- gaussian distribution
- maximum likelihood
- bayesian networks