Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP).

Published in: AISC/MKM/Calculemus (2012)

Keyphrases

compression scheme
theorem proving
case study
image compression
data compression
future plans
software development
compression ratio
project management
real time
multimedia
image data
open source
software projects
fractal compression