A Communicating-Vessels Proof of Hölder's Inequality.

Mark Levi Tadashi Tokieda

Published in: Am. Math. Mon. (2021)

Keyphrases

blood vessels
theorem prover
theorem proving
communication channels
retinal images
vessel segmentation
linear logic
data sets
information retrieval
image registration
anatomical structures
vascular tree
digital subtraction angiography