A Bijective Proof of the ASM Theorem, Part I: The Operator Formula.

Ilse Fischer Matjaz Konvalinka

Published in: Electron. J. Comb. (2020)

Keyphrases

interactive theorem proving
active shape model
table of contents
theorem prover
von neumann
segmentation algorithm
active shape