Formalization of Lerch's Theorem using HOL Light.

Adnan Rashid Osman Hasan

Published in: FLAP (2018)

Keyphrases

image segmentation
computer vision
image processing
theorem prover
formal model
theorem proving
formal methods
natural deduction
real time
clustering algorithm
video sequences
knowledge representation
higher order
formal analysis