Partial Proof of a Conjecture with Implications for Spectral Majorization.

Jeffrey Uhlmann

Published in: CoRR (2023)

Keyphrases

spectral analysis
image data
hyperspectral
theorem proving
multispectral images
spectral features
spectral images
databases
linear logic
proof planning