Towards a Proof of the Fourier-Entropy Conjecture?
Esty KelmanGuy KindlerNoam LifshitzDor MinzerMuli SafraPublished in: FOCS (2020)
Keyphrases
- fourier transform
- mutual information
- theorem proving
- information theory
- theorem prover
- fourier spectrum
- information theoretic
- linear logic
- fourier analysis
- automated theorem proving
- image reconstruction
- rough sets
- decision trees
- information systems
- shannon entropy
- complete axiomatization
- fuzzy entropy
- entropy measure
- learning algorithm
- geometry theorem proving
- relative entropy
- fourier descriptors
- radon transform
- frequency domain
- video sequences
- feature extraction
- artificial intelligence