Sen's theorem: geometric proof, new interpretations.

Lingfang (Ivy) Li Donald G. Saari

Published in: Soc. Choice Welf. (2008)

Keyphrases

interactive theorem proving
geometry theorem proving
theorem prover
theorem proving
real world
geometric reasoning
database
machine learning
social networks
computer vision
knowledge base
multiscale
data structure
multi agent systems
object recognition
artificial neural networks