Compression of Quantum Multi-Prover Interactive Proofs.

Published in: CoRR (2016)

Keyphrases

theorem prover
theorem proving
hyperspectral image compression
image compression
proof search
automated theorem proving

data compression
first order logic
user interaction
compression ratio
user friendly
data mining

compression scheme
user interface
proof procedure
computer graphics
data visualization

data analysis
video sequences
information systems
equational theories
information retrieval