Automated Proof Compression by Invention of New Definitions.
Jirí VyskocilDavid StanovskýJosef UrbanPublished in: LPAR (Dakar) (2010)
Keyphrases
- precise definition
- semi automated
- fully automated
- compression algorithm
- automated theorem provers
- theorem prover
- image compression
- data driven
- data compression
- compression ratio
- theorem proving
- real time
- computer assisted
- search algorithm
- data structure
- image processing
- scientific discovery
- information systems
- fractal compression
- genetic algorithm