Unimodality of gaussian coefficients: A constructive proof.

Kathleen M. O'Hara

Published 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