An Evaluation of the Archive of Formal Proofs.

Carlin MacKenzie Jacques D. Fleuriot James Vaughan

Published in: CoRR (2021)

Keyphrases

formal proofs
information retrieval
multiscale
real time
image processing
evaluation methods
databases
machine learning
image segmentation
three dimensional
multiresolution
empirical evaluation
evaluation method