Note: A new proof of an inequality for finite planar spaces.

Vito Napolitano

Published in: Australas. J Comb. (2007)

Keyphrases

complete axiomatization
theorem prover
finite number
theorem proving
linear logic
neural network
computer vision
single point
curved surfaces
riemannian manifolds
parallel manipulator
onset detection
cover inequalities