Automated Resource Analysis with Coq Proof Objects.

Quentin Carbonneaux Jan Hoffmann Thomas W. Reps Zhong Shao

Published in: CAV (2) (2017)

Keyphrases

machine learning
statistical analysis
automated analysis
artificial intelligence
information systems
multimedia
database systems
data analysis
medical images
spatial relationships
quantitative analysis
object model
theorem prover