A New Proof of the Finsler-Hadwiger Inequality.

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

Keyphrases

linear logic
theorem prover
shape prior
machine learning
mathematical proofs
pairwise
neural network
decision making
database systems
image sequences
similarity measure
information systems
image analysis
computer vision
learning algorithm
information retrieval
proof planning