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