A Geometric Proof of the Beppo-Levi Inequality.

Jamal Rooin Akram Alikhani

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

Keyphrases

geometry theorem proving
theorem proving
theorem prover
information systems
geometric information
logical rules
knowledge base
geometric constraints
database
data mining
image processing
multiresolution
hidden markov models
geometric shapes
linear logic