Fig. 4From: Formal analysis of 2D image processing filters using higher-order logic theorem provingRoot map for the specialized second-order filterBack to article page