A Constructive Algebraic Hierarchy in Coq.

Herman Geuvers Randy Pollack Freek Wiedijk Jan Zwanenburg

Published in: J. Symb. Comput. (2002)

Keyphrases

hierarchical structure
theorem prover
higher level
formal methods
expert systems
hierarchically organized
genetic algorithm
computer vision
image processing
website
image segmentation
multiscale
object recognition
hierarchical organization