Formalisation vs. Understanding - A Case Study in Isabelle.

Declan Thompson

Published in: UCNC (2015)

Keyphrases

theorem prover
future development
case study
formal analysis
real time
computer vision
website
database systems
search algorithm
multiresolution
sufficient conditions
computational modeling
natural deduction
mechanisms underlying