Keyphrases
- theorem proving
- theorem prover
- hyperspectral image compression
- compression algorithm
- automated theorem proving
- data compression
- proof search
- data sets
- user interaction
- user friendly
- compression ratio
- graphical interface
- interactive video
- inference rules
- mathematical proofs
- linear logic
- quantum mechanics
- computer graphics
- image quality
- website
- search engine