The Geometry of Manipulation: A Quantitative Proof of the Gibbard-Satterthwaite Theorem.
Marcus IsakssonGuy KindlerElchanan MosselPublished in: FOCS (2010)
Keyphrases
- interactive theorem proving
- geometry theorem proving
- qualitative and quantitative
- three dimensional
- theorem proving
- quantitative and qualitative
- theorem prover
- linear logic
- neural network
- geometric constraints
- data mining
- computer vision
- decision trees
- image sequences
- multiresolution
- logic programming
- mathematical proofs
- euclidean geometry
- learning algorithm